Fix it better

Author: fantasai

default.css

@@ -199,8 +199,8 @@ ul.toc ul ul {margin: 0 0 0 2em; font-style: italic; }
 ul.toc ul ul ul {margin: 0}
 ul.toc > li {margin: 1.5em 0; padding: 0; }
 ul.toc ul.toc li { margin: 0.3em 0 0 0; }
-ul.toc a { text-decoration: none; border-style: none; }
-ul.toc a:hover, ul.toc a:focus { border-style: solid; }
+ul.toc a { text-decoration: none; border-bottom-style: none; }
+ul.toc a:hover, ul.toc a:focus { border-bottom-style: solid; }
 /*
 ul.toc li li li, ul.toc li li li ul {margin-left: 0; display: inline}
 ul.toc li li li ul, ul.toc li li li ul li {margin-left: 0; display: inline}