diff options
| -rw-r--r-- | main.css | 12 |
1 files changed, 4 insertions, 8 deletions
@@ -1,6 +1,7 @@ * { margin: 0px; padding: 0px; + font-family: sans-serif; color: #000000; } @@ -10,7 +11,6 @@ body { h1 { font-size: 16pt; - font-family: sans-serif; border-width: 0px 0px 1px 0px; border-style: solid; border-color: #999999; @@ -18,22 +18,21 @@ h1 { } h2 { font-size: 14pt; - font-family: sans-serif; margin: 0px 0px 12px 0px; } h3 { font-size: 12pt; - font-family: sans-serif; margin: 0px 0px 12px 0px; } p { font-size: 10pt; - font-family: sans-serif; margin: 0px 0px 12px 0px; } li { font-size: 10pt; - font-family: sans-serif; +} +code { + font-family: monospace; } a:link, a:link *, a:visited, a:visited * { color: #0F1FA0; @@ -56,12 +55,10 @@ dl { dl dt { margin: 0px 0px 4px 0px; font-size: 10pt; - font-family: sans-serif; } dl dd { margin: 0px 0px 4px 16px; font-size: 10pt; - font-family: sans-serif; } a.skip { @@ -177,7 +174,6 @@ footer p, footer p * { } footer p a:link, footer p a:visited, footer p a:hover, footer p a:active { color: #666666; - font-family: sans-serif; text-decoration: underline; } footer p span.super { |