adding css file.

diff --git a/website/local.css b/website/local.css
new file mode 100644 (file)
index 0000000..6302a54
--- /dev/null
+++ b/website/local.css
@@ -0,0 +1,32 @@
+body {
+       font-family:Verdana,Geneva,Arial,Helvetica,sans-serif;
+       font-size:0.8em;
+       margin-left: 5%;
+       margin-right:20%;
+}
+
+h1 {
+       font-size: 1.4em;
+}
+
+h2 {
+       font-size: 1.2em;
+}
+
+h3 {
+       font-size: 1.0em;
+}
+
+h4 {
+       font-size: .9em;
+}
+
+.header span {
+       color: #aaaaaa;
+}
+
+pre {
+       background: #ddd;
+       border: 1px solid #aaa;
+       padding: 3px 3px 3px 3px;
+}