Make doc html head font easier to read.

2013-12-03 21:49:46 +00:00 · 2013-12-03 21:49:46 +00:00 · 7d7dec5d9f
parent 0e6171a4af
commit 7d7dec5d9f
1 changed files with 10 additions and 0 deletions
--- a/docs/_static/agogo.css
+++ b/docs/_static/agogo.css
@ -25,6 +25,16 @@ div.header-wrapper {
  border-bottom: 3px solid #2e3436;
 }

+div.headertitle a {
+  font-family: "Georgia", "Times New Roman", serif;
+  font-size: 2em;
+  color: rgb(252, 175, 62);
+  font-weight: normal;
+}
+
+h1 {
+  color: #204a87;
+}

 /* Default body styles */
 a {