Fix + increase spacing

[frida/web.git] / html / main.css

diff --git a/html/main.css b/html/main.css
index 94f41cbc8d0aa77a44fff871b2eaa51f92756245..34981018bbbb3a8aa285339811fb3518d7e35f18 100644 (file)
--- a/html/main.css
+++ b/html/main.css
@@ -1,6 +1,17 @@
+@font-face {
+    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');
+}
+
 * {
     margin: 0;
     padding: 0;
+    font-family: SourceSansPro
 }
 
 body {
@@ -53,3 +64,28 @@ body {
 .document {
     margin:1em;
 }
+
+.document h1 {
+    margin-top: 1.2em;
+    margin-bottom: .8em;
+}
+
+.document h2 , .document h3 {
+       margin-top: .8em;
+       margin-bottom: .3em;
+}
+
+.document ul {
+    margin-left: 2em;
+}
+
+.document p {
+    margin: .2em;
+}
+
+.literal-block {
+    font-family: SourceCodePro;
+    background-color: #eee;
+    display:inline-block;
+    margin: .5em;
+}
\ No newline at end of file