diff -r 9ed4c7d2bdd2 -r 5565d94da522 static/style.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/static/style.css	Fri Feb 06 20:49:29 2009 +0200
@@ -0,0 +1,92 @@
+
+/*
+ * Three main areas:
+ *  header
+ *  nav
+ *  content
+ *
+ * Border layout:
+ *      Header (bottom)
+ *      Content (left)
+ */
+
+/*
+ * Global styles
+ */
+body {
+    padding: 0px;
+    margin: 0px;
+
+    background-color: #ffffff;
+    color: #000000;
+}
+
+a {
+    color: black;
+    text-decoration: none;
+    font-weight: bold;
+}
+
+a:hover {
+    text-decoration: underline;
+}
+
+/*
+ * Top header
+ */
+div#header {
+    padding: 30px;
+    
+    font-size: 48pt;
+    font-weight: bold;
+
+    border-bottom: 1px dashed #a5a5a5;
+}
+
+/*
+ * Main navigation menu
+ */
+ul#nav {
+    float: left;
+    margin: 0px;
+    padding: 0px;
+
+    list-style: none;
+
+    width: 180px;
+
+    padding-top: 25px;
+}
+
+ul#nav li a {
+    display: block;
+    
+    padding: 10px;
+    padding-left: 20px;
+}
+
+ul#nav li a:hover {
+    background-color: #d0d0d0;
+    text-decoration: none;
+}
+
+ul#nav li a#selected-page {
+    border-left: 5px solid black;
+    padding-left: 15px;
+}
+
+/*
+ * Content
+ */
+div#content {
+    margin-left: 180px;
+
+    padding: 25px;
+
+    border-left: 1px dashed #a5a5a5;
+}
+
+div#content p {
+    text-indent: 2em;
+
+}