--- /dev/null
+html {
+ margin: 0;
+ padding: 0;
+}
+
+body {
+ background: white;
+ color: black;
+ font-family: sans-serif;
+ font-size: small;
+ margin: 0;
+ padding: 0;
+}
+
+/* Contains the entire of the page */
+#container {
+ padding: 0px;
+}
+
+/* Contains the menu */
+#menu {
+ float: left;
+ position: absolute;
+ top: 0px;
+ left: 0px;
+ width: 150px;
+ background: #eeeeFF;
+ border-right: 1px solid #000066;
+ border-bottom: 1px solid #000066;
+}
+#menu .cornerlogo {
+ margin: -3px;
+ margin-bottom: 1px;
+}
+#menu .heading {
+ background: #000066;
+ color: white;
+ margin: 0px;
+ padding: 3px;
+}
+#menu p {
+ margin: 5px;
+ padding: 5px 0 5px 0;
+ text-align: center;
+}
+#menu .logo {
+ margin: 0;
+ text-align: center;
+}
+
+/* Contains the main page - including header and footer */
+#main {
+ margin-left: 151px;
+ padding: 0px;
+ position: relative;
+}
+
+/* Contains the header */
+#header {
+ padding: 0px;
+ display: none;
+}
+
+/* Contains the footer */
+#footer {
+ padding: 60px 0 5px 0;
+}
+#footer p {
+ text-align: center;
+ font-size: x-small;
+}
+
+/* Contains the body text of the page */
+#contents {
+ padding: 0 15px 0 15px;
+}
+#contents .top {
+ margin-top: 0px;
+}
+#contents h1 {
+ padding: 5px;
+ margin: 30px -15px 20px -15px;
+ background-color: #eeeeff;
+ border-bottom: 5px solid #000066;
+ color: #000066;
+ text-align: right;
+}
+#contents h2 {
+ padding: 4px;
+ margin: 20px -10px 20px -10px;
+ background-color: #eeeeff;
+ border-bottom: 2px solid #000066;
+}
+#contents h3 {
+ padding-top: 5px;
+ margin: 10px -5px 10px -5px;
+ border-bottom: 1px solid #000066;
+}
+#contents pre {
+ border-left: 2px solid red;
+ margin-left: 5px;
+ padding-left: 5px;
+ background-color: #f0f0f0;
+ font-size: larger;
+}
+#topnav {
+ margin: -15px -10px 0 0;
+ padding: 0px;
+ text-align: right;
+ background-color: transparent;
+}
+#topnav ul {
+ padding-left: 0;
+ margin-left: 0;
+ display: inline;
+}
+#topnav li {
+ padding: 3px;
+ list-style: none;
+ display: inline;
+}
+
+/* All images have no border */
+img {
+ border: 0;
+}
+
+/* For when we want to hide something to CSS browsers */
+.invisible {
+ display: none;
+}