diff -r 9ed4c7d2bdd2 -r 5565d94da522 style.css
--- a/style.css	Fri Feb 06 20:46:43 2009 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,92 +0,0 @@
-
-/*
- * 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;
-
-}