+/*
+ * General settings
+ * --------------------------------------------------
+ */
+body {
+ font-family: Verdana, Helvetica, Arial, sans-serif;
+ background-color: #ffffff;
+}
+
+/*
+ * No underline for links
+ * Nice dark blue values for links
+ */
+a:link {
+ text-decoration: none;
+}
+a:visited {
+ text-decoration: none;
+}
+
+div#page {
+ padding-left: 8%;
+ padding-right: 8%;
+ margin-bottom: 2em;
+}
+
+h3#pagetitle {
+ margin: 0;
+ position: relative;
+ top: -0.7em;
+ left: 15px;
+ border: 1px solid black;
+ background: white;
+ padding: 0 0.5em;
+ display: inline;
+}
+
+div#border {
+ border: 1px solid #000000;
+ background-color: #e2e2e2;
+}
+
+div#content {
+ padding-left: 8%;
+ padding-right: 8%;
+ margin-top: -1em;
+ font-size: normal;
+}
+
+/*
+ * Local variables:
+ * mode: indented-text
+ * mode: auto-fill
+ * End:
+*/