diff doc/style.css @ 1118:71c5b25b371a

Notes cleanup and minor stylistic fixes.
author zas_
date Mon, 10 Nov 2008 18:02:09 +0000
parents 73bbcaf9abba
children 829f45bf988b
line wrap: on
line diff
--- a/doc/style.css	Mon Nov 10 17:16:16 2008 +0000
+++ b/doc/style.css	Mon Nov 10 18:02:09 2008 +0000
@@ -11,8 +11,14 @@
 
 table {page-break-before: always}
 
+a:hover {background-color: white}
+
+a.bottomnote {text-decoration: none; color: black;}
+
 .option_name { font-variant: small-caps; font-size: 90%; font-weight: bold }
 
+dt { font-weight: bold }
+
 p.previous {
 	text-align: left
 }
@@ -112,7 +118,22 @@
 	font-weight: bold
 }
 
+p.bottomnote {
+	margin-top: 5em;
+	font-style: italic;
+	font-size: 90%
+}
+.bottomnote em {
+	font-weight: bold
+}
+
+span.note_label {
+	font-weight: bold;
+}
+
 code {
+	margin-left: 0.3em;
+	padding: 0.1em;
 	background: white
 }