html,body	{ background-color: white; color: black }
/*
html,body	{ font-family: sans-serif }
h1,h3,h4	{ font-family: sans-serif }
p		{ font-family: sans-serif }
*/

p.toc,p.txt	{ max-width: 500px }
p.toc		{ margin-top: 3px; padding-left: 10px }
p.site		{ background-color: lightyellow }
h3		{ margin-bottom: 3px; padding: 2px }
a.lang		{ font-size: small }
tt		{ font-weight: bold }

/* Mozilla/4 can't handle this ...
a		{ padding: 1px }
*/
a:link		{ color: blue }
a:visited	{ color: darkblue }
a:active	{ color: red }
h3 a:hover	{ background-color: #e0e0e0 }