@@ -4,26 +4,24 @@ body { margin: 0; padding: 0; }
.clear { clear: both; }
.hidden { display: none; }
p, h1, h2, h3, h4, h5, h6, #mainContent ul, #mainContent ol {
margin-top: 1em;
margin-bottom: 1em;
}
body {
/* font-family: "Lucida Grande",Verdana,Lucida,Helvetica,Arial,sans-serif; */
font-family: "Lucida Sans Unicode", "Lucida Grande", "Verdana", "FreeSans", sans-serif;
font-size: 95%;
background-color: #0000;
color: #ffff;
a { text-decoration: none; color: #557733; }
a:hover { text-decoration: underline; color: #577632; }
.toggle-control {
cursor: pointer;
text-decoration: none; color: #557733;
.toggle-control:hover { text-decoration: underline; color: #577632; }
/* FIXME: We should do this: */