diff --git a/doc/formats/html/header.html b/doc/formats/html/header.html index ce59bb90c..e6bba6932 100644 --- a/doc/formats/html/header.html +++ b/doc/formats/html/header.html @@ -16,7 +16,6 @@ $search $mathjax $extrastylesheet -