summaryrefslogtreecommitdiff
path: root/website
diff options
context:
space:
mode:
Diffstat (limited to 'website')
-rw-r--r--website/local.css32
1 files changed, 32 insertions, 0 deletions
diff --git a/website/local.css b/website/local.css
new file mode 100644
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;
+}