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)
2014-04-05 08:06:41 -06:00 · 2014-04-05 08:06:41 -06:00 · cc26a86cb1
commit cc26a86cb1
parent bd1dafdd17
1 changed files with 0 additions and 6 deletions
--- 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;
 }