From cc26a86cb1975bdbb1ed3f816b6a50decfdec510 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 5 Apr 2014 08:06:41 -0600 Subject: [PATCH] scribble manual style: remove toc hack At mbutterick's recommendation: it's causing a strange display problem in TOC listings when the cursor is hovering over the link (namely, the underlined space dangling from the right edge) --- pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css | 6 ------ 1 file changed, 6 deletions(-) diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css index a4bc28aa06..853c866cce 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css @@ -520,12 +520,6 @@ table.tocsublist { font-size: 110% } -/* hack to add space around .toptoclink because markup is all td */ -.toptoclink:after { - content: " "; - font-size: 3rem; -} - .toclink { font-size: inherit; }