diff --git a/doc/etc/header.html b/doc/etc/header.html index a1bb3390e..c60933959 100644 --- a/doc/etc/header.html +++ b/doc/etc/header.html @@ -20,17 +20,6 @@ $extrastylesheet - -