Unify use of "font-family".

1 files changed, 4 insertions, 8 deletions

diff --git a/main.css b/main.css
index bdee61a..60c2135 100644
--- a/main.css
+++ b/main.css
@@ -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 {