diff --git a/docs/extra.css b/docs/extra.css
index f50111e8..6d0dde1c 100644
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -216,11 +216,6 @@ td.memSeparator {
background:linear-gradient(to right,hsl(0,0%,95%) 0%,hsl(0,0%,85%) 50%,hsl(0,0%,95%) 100%);
}
-hr.footer {
- height:0px;
- border:0px;
-}
-
dl.note,dl.pre,dl.post,dl.invariant {
background:linear-gradient(to bottom,hsl(103,80%,90%) 0%,hsl(103,80%,85%) 100%);
box-shadow:inset 0px 0px 32px hsl(103,40%,80%);
diff --git a/docs/footer.html b/docs/footer.html
index c8403f34..b0434ca1 100644
--- a/docs/footer.html
+++ b/docs/footer.html
@@ -1,4 +1,3 @@
-