diff -r 2cbf4c472a67 -r 8da11cce2c98 style.css
--- a/style.css	Sat Sep 21 16:51:06 2019 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-body {
-	font-family: FreeSerif;
-	font-size:  20px;
-	background-color: white;
-	color: black;
-}
-
-h1,h2,h3 {
-	font-family: Sawasdee;
-	font-weight: bold;
-}
-
-h1 {
-	text-align: center;
-}
-
-a.anchor {
-	color: #eee;
-	text-decoration: none;
-}
-
-p.footer {
-	font-size: 80%;
-}