Merge pull request #308 from ahojnnes/doc-font-size

DOC: Make font-size of documentation smaller.
This commit is contained in:
Stefan van der Walt
2012-09-10 11:41:49 -07:00
@@ -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 }};