diff options
| -rw-r--r-- | doc/style.css | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/style.css b/doc/style.css index 929934927..e414736ff 100644 --- a/doc/style.css +++ b/doc/style.css @@ -39,16 +39,20 @@ clear: both; } -#footer { - clear: both; +#tags { margin: 1em 0; - border-top: 1px solid #000; } #backlinks { margin: 1em 0; } +#footer { + clear: both; + margin: 1em 0; + border-top: 1px solid #000; +} + #searchform { display: inline; float: right; |