From 1dbc79bee25544583837d1decc662e32115d8bc4 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Mon, 1 Apr 2013 14:59:51 +0200
Subject: Update stylesheet

---
 site/stylesheet.css | 396 ++++++++++++++++++++++++++++++++++++----------------
 1 file changed, 275 insertions(+), 121 deletions(-)

(limited to 'site/stylesheet.css')

diff --git a/site/stylesheet.css b/site/stylesheet.css
index 0fd2fb1..bcb5c0f 100644
--- a/site/stylesheet.css
+++ b/site/stylesheet.css
@@ -1,194 +1,366 @@
-* {
-    padding: 0;
-    margin: 0;
-    border: 0;
+body {
+	background: #eeeeec;
+    color: #111113;
+	border: 0;
+	margin: 0;
+	padding: 0;
+	font-family: "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif;
+    font-size: 16px;
 }
 
-a {
-    color: orange;
-    text-decoration: none;
+div#content {
+    width: 750px;
+    margin: 0 auto;
+    background: #111113;
+    color: #eeeeec;
+    padding-bottom: 20px;
 }
 
-a:hover {
-    text-decoration: underline;
+div#content, pre {
+    border-right: 1px #eeeeec dashed;
+    border-left: 1px #eeeeec dashed;
 }
 
-body,
-#table-of-contents {
-    background-color: #252a2b;
+h1.title {
+	background: #222224;
     color: #eeeeec;
+    margin: 0 auto;
+    padding: 6px;
+    text-align: left;
 }
 
-body {
-    font-family: "DejaVu Sans", sans-serif;
-    padding-left: 10px;
+a {
+	color: #ffbb56;
+    text-decoration: underline;
 }
 
-code {
-    white-space: nowrap;
-    color: #babdb6;
+a img {
+	border: none;
 }
 
-code, pre {
-    font-family: "DejaVu Sans Mono", mono;
+a:visited {
+	color: violet;
 }
 
-h1 {
-    border-bottom: 2px solid #839496;
+a:hover {
+	color: #eeeeec;
+    text-decoration: none;
 }
 
-h1, h2, h3, h4, h5, h6 {
-    margin: 20px 0;
+blockquote {
+	border-left: 5px solid #ccc;
+	margin-left: 1.5em;
+	padding-left: 5px;
 }
 
-h1.title {
-    border-bottom: none;
-    margin-top: 0;
+.outline-2 h2 {
+	border-bottom: 1px dotted #eeeeec;
+	font: 20px "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
+    font-weight: 600;
+    padding-bottom: 2px;
 }
 
-h2 {
-    border-bottom: 2px dotted #839496;
-    margin-left: 5px;
+h3.meta, h3.meta a, h3.meta a:visited {
+    color: #999;
+    font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
+	margin: 2px 0 6px 0;
+	padding-bottom: 2px;
 }
 
-h3 {
-    border-bottom: 2px dashed #839496;
-    margin-left: 10px;
+#content > ul {
+	border-bottom: 1px black dotted;
+    font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
+    background: #333;
+    padding: 0;
+    margin: 0;
+    text-align: center;
+    width: 100%;
+    list-style-type: none;
+}
+
+#content > ul > li {
+    display: inline;
 }
 
-h4 {
-    border-bottom: 1px solid #839496;
-    margin-left: 15px;
+#content > ul > li:after {
+    content: " | ";
 }
 
-h5 {
-    border-bottom: 1px dotted #839496;
+#content > ul > li:last-child:after {
+    content: "";
+}
+
+#header a, #header a:visited {
+    color: #fff;
+    text-decoration: none;
+}
+#content > ul a, #content > ul a:visited {
+    color: #999;
+    text-decoration: none;
+}
+#header a:active, #header a:hover, #content > ul a:active, #content > ul a:hover {
+    text-decoration: none;
+}
+
+#table-of-contents {
+	background: #111113;
+	color: #eeeeec;
     margin-left: 20px;
+    margin-top: 30px;
+    /* margin-right: -3em; */
+    margin-bottom: 20px;
+	border: dashed 1px #eeeeec;
+    border-right: 0;
+	padding: 10px 0 10px 10px;
+    float: right;
+	width: 11em;
 }
 
-h6 {
-    border-bottom: 1px dashed #839496;
-    margin-left: 25px;
+#table-of-contents form {
+	margin: 0 0 0 13px;
 }
 
-ul, ol, dl {
-    margin: 20px;
+#table-of-contents input#s {
+	width: 80%;
 }
 
-ul ul,
-ol ol,
-dd {
-    margin: 5px 20px;
+#table-of-contents ul {
+	list-style-type: none;
+	margin: 0;
+	padding-left: 3px;
+	text-transform: lowercase;
+	font: normal smaller "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif;
 }
 
-p {
-    margin: 20px 0;
+#table-of-contents h2 {
+	font: italic smaller "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif;
+	font-weight: bold;
+	margin-top: 10px;
+    margin-bottom: 0px;
+	padding-bottom: 2px;
 }
 
-pre {
-    background-color: #222224;
-    color: #eeeeec;
-    margin: 20px 0 20px 40px;
-    border-radius: 10px;
-    padding: 5px;
+#table-of-contents ul ul {
+	font-variant: normal;
+	font-weight: normal;
+	line-height: 100%;
+	list-style-type: none;
+	margin: 0;
+	padding: 0;
+	text-align: left;
 }
 
-td, th {
-    padding-left: 5px;
+#table-of-contents ul ul li {
+	border: 0;
+	font-weight: normal;
+    font-style: normal;
+	letter-spacing: 0;
+	margin-top: 0;
+	padding: 0;
+	padding-left: 12px;
 }
 
-#content {
-    width: 750px;
-    text-align: justify;
+#table-of-contents ul a {
+	color: #999;
+	text-decoration: none;
 }
 
-#content h1 {
-    overflow: visible;
-    white-space: nowrap;
+#table-of-contents ul a:visited {
+	color: #ccc;
+	text-decoration: none;
 }
 
-.dlmenu {
+#table-of-contents ul a:hover {
+	border-bottom: 1px solid #809080;
+}
+
+div#tag-cloud a {
+    text-decoration: none;
+}
+div#tag-cloud {
+    line-spacing: 150%;
     text-align: center;
+    padding-bottom: 2em;
+}
+
+
+#comments-header {
+        margin-top: 2em;
+        padding-top: 1em;
+        border-top: 2px black solid;
 }
 
-.outline-text-1,
-.outline-text-2,
-.outline-text-3,
-.outline-text-4,
-.outline-text-5,
-.outline-text-6 {
-    padding: 1px 20px;
+.outline-2 {
+	margin: 30px 3em 0 3em;
 }
 
 #postamble {
-    margin-top: 40px;
+    border-right: 1px #eeeeec dashed;
+    border-left: 1px #eeeeec dashed;
+    background-color: #111113;
+    color: #eeeeec;
+    width: 750px;
+    border-top: 1px black dotted;
+    font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
+    padding: 0;
+    margin: 0 auto;
+    text-align: center;
 }
 
-#org-div-home-and-up {
-    position: fixed;
-    top: 10px;
-    right: 10px;
+.outline2 h2 {
+	margin: 0;
 }
 
-#org-div-home-and-up a {
-    text-decoration: none;
-    margin: 10px;
+.outline2 h2 a {
+	text-decoration: none;
 }
 
-#table-of-contents {
-    position: fixed;
-    top: 26px;
-    right: 0;
+.outline2 h2 a:visited {
+    color: #ffbb56;
+}
+
+.post {
+        margin-bottom: 2em;
+}
+
+div.description {
+  margin-left: 18pt;
+  margin-right: 18pt;
+  margin-bottom: 18pt;
+}
+
+div.description > p, div.description > pre {
+  margin-top: 6pt;
+}
+
+div.feedback a {
+  text-decoration: none;
+  color: #ccc;
+}
+
+.float-left {
+  float: left;
+  margin-right: 0.5em;
+  margin-top: 0.5em;
+  margin-bottom: 0.5em;
+}
+
+#content .right {
+  margin-left: auto;
+  text-align: right;
+}
+
+.centered {
+  margin-left: auto;
+  margin-right: auto;
+  text-align: center;
+}
+
+.smaller {
+  font-size: smaller;
+}
+
+div.cartouche {
+  border: dashed 1px black;
+  padding: 0.5em;
+  margin-left: 15%;
+  margin-right: 15%;
+  text-align: center;
+}
+
+.small-caps {
+  font-variant: small-caps;
+}
+
+#commentform textarea {
+	width: 100%;
+	padding: 2px;
+	}
+
+code {
+    white-space: nowrap;
+    color: #babdb6;
+    font: 12pt Monaco, "DejaVu Sans Mono", mono;
+}
+
+pre {
+    border-top: 1px dotted #999999;
+    border-bottom: 1px dotted #999999;
+    font: 12pt Monaco, "DejaVu Sans Mono", mono;
+    padding: 5px 3em;
+    position: relative;
+    clear: both;
+    margin: 25px -3em;
+    width: 100%;
     overflow: auto;
-    max-height: 80%;
+    background-color: #111113;
+    color: #eeeeec;
+    left: -1px;
 }
 
-#table-of-contents h2 {
-    font-size: medium;
-    margin-top: 0;
-    padding-right: 10px;
+div#org-div-home-and-up {
+    width: 750px;
+    margin: 0 auto;
+    position: relative;
+    height: 0;
+    left: -5px;
+    top: 5px;
+    color: #eeeeec;
 }
 
+div#org-div-home-and-up a {
+    color: #999;
+    text-decoration: none;
+}
+
+div#org-div-home-and-up a:hover {
+    text-decoration: none;
+}
+
+/* Org font-locking */
 #table-of-contents:hover #text-table-of-contents {
     display: block;
 }
 
 #text-table-of-contents {
     display: none;
-    text-align: left;
 }
 
-/* Org font-locking */
 .src {
-    background-color: #252a2b;
-    color: #eeeeec;
-    overflow: auto;
+}
+
+.org-comment-delimiter {
+    color: #999999;
+    font-style: italic;
+}
+
+.org-comment {
+    color: #a9a9a9;
+    font-style: italic;
 }
 
 .org-keyword {
-    font-weight: bold;
-    color: #729fcf;
+    color: #cfce29;
 }
 
 .org-string {
-    color: #ad7fa8;
+    color: #ffbd5c;
 }
 
 .org-function-name {
-    font-weight: bold;
-    color: #edd400;
+    color: #ffa300;
 }
 
 .org-doc {
-    color: #babdb6;
+    color: #9ad870;
 }
 
 .org-constant {
-    color: #73d216;
+    color: #93d8d8;
 }
 
 .org-type {
-    color: #73d216;
+    color: #78a2c1;
     font-weight: bold;
 }
 
@@ -201,30 +373,12 @@ td, th {
 }
 
 .org-builtin {
-    color: #729fcf;
+    color: LightSteelBlue;
 }
 
 .org-negation-char {
 }
 
 .org-variable-name {
-    color: #ef2929;
-}
-
-/* Navigation menu */
-#content > ul:first-of-type {
-    margin: 0;
-    text-align: center;
-}
-
-#content > ul:first-of-type li {
-    display: inline;
-}
-
-#content > ul:first-of-type li:before {
-    content: "[ "
-}
-
-#content > ul:first-of-type li:after {
-    content: " ]"
+    color: #c39cc3;
 }
-- 
cgit v1.2.3-54-g00ecf