# HG changeset patch # User zas_ # Date 1226945142 0 # Node ID eff68aeb46474a1defc60ed6f98c60858069231a # Parent 8ebeab4d6987f2040ddffa1f54bb299d03510298 Fix up links and various enhancements. diff -r 8ebeab4d6987 -r eff68aeb4647 doc/style_print.css --- a/doc/style_print.css Mon Nov 17 17:17:47 2008 +0000 +++ b/doc/style_print.css Mon Nov 17 18:05:42 2008 +0000 @@ -1,5 +1,5 @@ body { - background: white; + background: transparent; font-size: 12pt; } @@ -11,17 +11,26 @@ display: none; } -a:link, a:visited { - color: #520; +a { + color: black; background: transparent; - font-weight: bold; text-decoration: underline; } +a.bottomnote { + text-decoration: none; +} + +a.bottomnote:link:after, a.bottomnote:visited:after { + text-decoration: none; + content: ""; +} + a:link:after, a:visited:after { content: " (" attr(href) ") "; font-size: 90%; - } +} + /* a[href^="/"]:after { @@ -30,17 +39,17 @@ */ h1 { - background: white; + background: transparent; border-bottom: 1px dotted gray; } h2 { - background: white; + background: transparent; border-bottom: 1px dotted gray; } h3 { - background: white; + background: transparent; border-bottom: 1px dotted gray; }