diff options
-rw-r--r-- | doc/style.css | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/style.css b/doc/style.css index e414736ff..390893d38 100644 --- a/doc/style.css +++ b/doc/style.css @@ -39,14 +39,6 @@ clear: both; } -#tags { - margin: 1em 0; -} - -#backlinks { - margin: 1em 0; -} - #footer { clear: both; margin: 1em 0; |