Make font-size of documentation smaller

This commit is contained in:
Johannes Schönberger
2012-09-10 09:06:06 +02:00
parent 1fc7729f9a
commit dc90c7a84f
@@ -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 }};