Fix #609: a bit more spacing for big headings.

This commit is contained in:
Georg Brandl 2011-09-22 19:11:28 +02:00
parent caaa2762a3
commit 1c902921f3

View File

@ -175,6 +175,10 @@ div.body {
text-align: {{ theme_textalign }};
}
div.document h1 {
line-height: 120%;
}
div.document ul {
margin: 1.5em;
list-style-type: square;