From 1b0619f0d5e65ac1abb1bfe53b247f6d549d0622 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pjm@nac.net>
Date: Wed, 02 Nov 2011 03:34:41 -0400
Subject: Adjust font sizes.

---
diff --git a/main.css b/main.css
index 728eb0a..041c3eb 100644
--- a/main.css
+++ b/main.css
@@ -3,8 +3,19 @@ body {
 	padding: 0px;
 	background-color: #FFEECC;
 }
-h1, h2, h3, h4, h5, h6, p {
+* {
 	margin: 0px;
+}
+h1 {
+	font-size: 24pt;
+}
+h2 {
+	font-size: 20pt;
+}
+h3 {
+	font-size: 16pt;
+}
+p {
 	font-size: 12pt;
 }
 a {
@@ -15,7 +26,7 @@ a:hover {
 	color: #111188;
 	text-decoration: underline;
 }
-span.super {
+p span.super {
 	vertical-align: 33%;
 	font-size: 9pt;
 }
@@ -28,7 +39,6 @@ div.header a.skip {
 }
 div.header h1 {
 	font-family: serif;
-	font-size: 24pt;
 }
 div.header h1 span.super {
 	vertical-align: 33%;
--
cgit v0.9.1