diff options
| -rw-r--r-- | website/local.css | 32 |
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; +} |