--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/style.css Tue Dec 02 00:35:54 2008 +0200
@@ -0,0 +1,87 @@
+
+/*
+ * 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;
+}
+
+/*
+ * Content
+ */
+div#content {
+ margin-left: 180px;
+
+ padding: 25px;
+
+ border-left: 1px dashed #a5a5a5;
+}
+
+div#content p {
+ text-indent: 2em;
+
+}