From 4df0249257a66c72b5e3feb776213ed779451314 Mon Sep 17 00:00:00 2001
From: Christoph Egger <christoph@christoph-egger.org>
Date: Wed, 10 Feb 2016 18:29:12 +0100
Subject: [PATCH] somewhat improve css

---
 html/main.css | 97 ++++++++++++++++++++++++++++-----------------------
 1 file changed, 54 insertions(+), 43 deletions(-)

diff --git a/html/main.css b/html/main.css
index 3498101..e6a619a 100644
--- a/html/main.css
+++ b/html/main.css
@@ -1,73 +1,84 @@
 @font-face {
-    font-family: SourceCodePro;
-    src: url('https://static.siccegge.de/WOFF/OTF/SourceCodePro-Regular.otf.woff');
+	font-family: SourceCodePro;
+	src: url('https://static.siccegge.de/WOFF/OTF/SourceCodePro-Regular.otf.woff');
 }
 
 @font-face {
-    font-family: SourceSansPro;
-    src: url('https://static.siccegge.de/WOFF/OTF/SourceSansPro-Regular.otf.woff');
+	font-family: SourceSansPro;
+	src: url('https://static.siccegge.de/WOFF/OTF/SourceSansPro-Regular.otf.woff');
+}
+
+@font-face {
+	font-family: SourceSerifPro;
+	src: url('https://static.siccegge.de/WOFF/OTF/SourceSerifPro-Regular.otf.woff');
 }
 
 * {
-    margin: 0;
-    padding: 0;
-    font-family: SourceSansPro
+	margin: 0;
+	padding: 0;
+	font-family: SourceSerifPro;
+	line-height: 1.3;
 }
 
 body {
-    background-color: #B3E1FF;
+	background-color: #B3E1FF;
 }
 
 #frame {
-    margin-left: auto;
-    margin-right: auto;
-    margin-top: 1em;
-    width: 90%;
-    max-width: 80em;
-    background-color: #fff;
-    border: 2px solid #0011CA;
+	margin-left: auto;
+	margin-right: auto;
+	margin-top: 1em;
+	margin-bottom: 1em;
+	width: 90%;
+	max-width: 60em;
+	background-color: #fff;
+	border: 2px solid #0011CA;
 }
 
 #header {
-    background-color: #A2A5CA;
-    border-bottom: 2px solid #0011CA;
-    color: #000;
+	background-color: #A2A5CA;
+	border-bottom: 2px solid #0011CA;
+	color: #000;
 }
 
 #header h1 {
-    margin: 0;
-    padding: 0;
-    text-align: center;
+	margin: 0;
+	padding: 0;
+	text-align: center;
+}
+
+#nav {
+	margin-left: -2px;
 }
 
 #nav li {
-    display: inline-block;
-    border: 2px solid #0011CA;
-    background-color: #A2A5CA;
-    margin-left: 0.5em;
-    margin-top: -2px;
+	display: inline-block;
+	border: 2px solid #0011CA;
+	background-color: #A2A5CA;
+	margin-right: 0.5em;
+	margin-top: -2px;
 }
 
 #nav a {
-    display: inline-block;
-    text-decoration: none;
-    font-weight: bold;
-    color: #000;
-    padding: 2px;
+	display: inline-block;
+	text-decoration: none;
+	font-weight: bold;
+	color: #000;
+	padding: 2px;
 }
 
 #nav a:hover {
-    color: #fff;
-    background-color: #0011CA;
+	color: #fff;
+	background-color: #0011CA;
 }
 
 .document {
-    margin:1em;
+	margin: 3em 5em 2em;
 }
 
 .document h1 {
-    margin-top: 1.2em;
-    margin-bottom: .8em;
+	margin-top: 1em;
+	margin-bottom: .5em;
 }
 
 .document h2 , .document h3 {
@@ -76,16 +87,16 @@ body {
 }
 
 .document ul {
-    margin-left: 2em;
+	margin-left: 2em;
 }
 
 .document p {
-    margin: .2em;
+	margin: .2em;
 }
 
 .literal-block {
-    font-family: SourceCodePro;
-    background-color: #eee;
-    display:inline-block;
-    margin: .5em;
-}
\ No newline at end of file
+	font-family: SourceCodePro;
+	background-color: #eee;
+	display:inline-block;
+	margin: .5em;
+}
-- 
2.39.2