Merge commit 'jamie/master'

diff --git a/website/local.css b/website/local.css
index afecdbacf9ffcac6a64938d23300ec05cac3a59c..c4b59e9160925806aa3828a2cb5f79cf91dd3a36 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -5,6 +5,7 @@ h1 {
   display: block;
   font-weight: bold;
   padding: 0 0 0 10px;
+  font-size: 1.4em;
 }
 
 h2 {
@@ -14,6 +15,7 @@ h2 {
   display: block;
   font-weight: bold;
   padding: 0 0 0 10px;
+  font-size: 1.1em;
 }
 
 body {
@@ -22,7 +24,7 @@ body {
   font-size: 0.95em;
 }
 
-*|*:visited 
+*|*:visited {
   color: #f6a464;
 }