--- a/website/src/site.css	Wed Feb 06 01:11:12 2019 -0700
+++ b/website/src/site.css	Thu Feb 07 05:38:38 2019 -0700
@@ -1,15 +1,12 @@
 
 body {
-	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
-	margin: 0 5%;
+	font-family: sans-serif;
+	margin-left: 5%;
+	margin-right: 5%;
 }
 
 a[href] {
 	text-decoration: inherit;
-	color: #337ab7;
-}
-a[href]:visited {
-	color: #034a87;
 }
 a[href]:hover {
 	text-decoration: underline;
@@ -19,22 +16,21 @@
 	font-size: small;
 }
 
+div[link] {
+	margin: 0.5em 0;
+}
+
 
 div[contents] {
-	margin: 0 0 1em;
+	margin-bottom: 1em;
 }
 ul {
 	margin: 0;
 }
 [heading] {
-	margin: 2em 0 0.6em;
-	color: #233E93;
-}
-[heading] a[href], [heading] a[href]:visited {
-	color: inherit;
+	margin-top: 2em;
 }
 
 h4 code {
 	font-size: 1.4em;
-	font-weight: normal;
 }