doc/style: use default font color specified by user
* it's bad to specify only foreground color:
http://www.w3.org/QA/Tips/color
* some people prefer dark background
* `color: #111' is mostly the same as `color: black',
which is the default of almost all popular browsers.
so it's preferable to delete `color: #111', rather than adding
`background-color: white'.
--- a/doc/style.css Tue Nov 10 22:27:31 2009 -0800
+++ b/doc/style.css Tue Nov 10 21:48:10 2009 +0900
@@ -12,7 +12,6 @@
margin: 0;
padding: 0;
font-family: sans-serif;
- color: #111;
}
.document {
@@ -72,7 +71,7 @@
a:visited { color: #5c9caf; }
a:link.toc-backref, a:visited.toc-backref {
text-decoration: none;
- color: #111; /* `inherit' is not supported by IE6 */
+ color: inherit; /* NOTE: `inherit' is not supported by IE6 */
}
div.admonition, div.attention, div.caution,