diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/style.css | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/style.css b/doc/style.css index 2f9897e82..3b8a24d9a 100644 --- a/doc/style.css +++ b/doc/style.css @@ -58,7 +58,7 @@ div.tags { #editcontent { width: 100%; -} +} /* Stuff for the RecentChanges table. */ tr.changeheader { @@ -72,7 +72,7 @@ tr.changeinfo { th.changeheader { padding: 1px .3em; } -td.changeinfo { +td.changeinfo { padding: 1px .3em; } td.changetime { @@ -180,7 +180,7 @@ td.changelog { width: 25% } -/* outlines */ +/* outlines */ li.L1 { list-style: upper-roman; } |