From dc90c7a84fab3e7c211516e2ebd81e6759e8da6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johannes=20Sch=C3=B6nberger?= <hannesschoenberger@gmail.com>
Date: Mon, 10 Sep 2012 09:06:06 +0200
Subject: [PATCH] Make font-size of documentation smaller

---
 doc/source/themes/agogo/static/agogo.css_t | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/source/themes/agogo/static/agogo.css_t b/doc/source/themes/agogo/static/agogo.css_t
index 2ff4abad..f47167c0 100644
--- a/doc/source/themes/agogo/static/agogo.css_t
+++ b/doc/source/themes/agogo/static/agogo.css_t
@@ -23,6 +23,7 @@ div.header-wrapper {
 
 body {
   font-family: {{ theme_bodyfont }};
+  font-size: 10pt;
   line-height: 1.4em;
   color: black;
   background-color: {{ theme_bgcolor }};