Update style

1 files changed, 28 insertions, 7 deletions

diff --git a/site/stylesheet.css b/site/stylesheet.css
index f13a431..89a5f2f 100644
--- a/site/stylesheet.css
+++ b/site/stylesheet.css
@@ -15,7 +15,7 @@ a:hover {
 
 body,
 #table-of-contents {
-    background-color: #0c191c;
+    background-color: #252a2b;
     color: #eeeeec;
 }
 
@@ -25,16 +25,12 @@ body {
 }
 
 code {
-    padding: 1px 3px;
-    border-radius: 5px;
-    margin: 0 2px;
     white-space: nowrap;
+    color: #babdb6;
 }
 
 code, pre {
     font-family: "DejaVu Sans Mono", mono;
-    background-color: #252a2b;
-    color: #eeeeec;
 }
 
 h1 {
@@ -47,6 +43,9 @@ h1, h2, h3, h4, h5, h6 {
 
 h1.title {
     border-bottom: none;
+    background-color: #0c191c;
+    margin-top: 0;
+    border-radius: 0 0 80px 80px;
 }
 
 h2 {
@@ -69,7 +68,7 @@ h6 {
     border-bottom: 1px dashed #839496;
 }
 
-ul, ol {
+ul, ol, dl {
     margin: 20px;
 }
 
@@ -84,11 +83,17 @@ p {
 }
 
 pre {
+    background-color: #252a2b;
+    color: #eeeeec;
     margin: 20px 0 20px 40px;
     border-radius: 10px;
     padding: 5px;
 }
 
+td, th {
+    padding-left: 5px;
+}
+
 #content {
     width: 750px;
     margin: 0 auto;
@@ -103,6 +108,21 @@ pre {
     text-align: center;
 }
 
+.outline-text-1,
+.outline-text-2,
+.outline-text-3,
+.outline-text-4,
+.outline-text-5,
+.outline-text-6 {
+    background-color: #0c191c;
+    padding: 1px 20px;
+    -moz-border-radius: 40px;
+    -webkit-border-radius: 40px;
+    -o-border-radius: 40px;
+    -ms-border-radius: 40px;
+    border-radius: 40px;
+}
+
 #postamble {
     margin-top: 40px;
 }
@@ -138,6 +158,7 @@ pre {
 
 #text-table-of-contents {
     display: none;
+    text-align: left;
 }
 
 /* Org font-locking */