diff --git a/doc/head.html b/doc/head.html index 605fec237..9468b5d3e 100644 --- a/doc/head.html +++ b/doc/head.html @@ -29,15 +29,15 @@ - - - - + + + + - + - +