somewhat improve css

diff --git a/html/main.css b/html/main.css
index 34981018bbbb3a8aa285339811fb3518d7e35f18..e6a619a498d5fd21b66066fcb9523b036ddfcc6c 100644 (file)
--- 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;
+}