diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/style.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index 5fb410032..424d43816 100644 --- a/doc/style.css +++ b/doc/style.css @@ -205,6 +205,9 @@ div.recentchanges { .archivepagedate { font-style: italic; } +.archivepage { + margin-bottom: 1em; +} .error { color: #C00; |