diff --git a/doc/header.html b/doc/header.html index 364b0bc..bfaed76 100644 --- a/doc/header.html +++ b/doc/header.html @@ -53,15 +53,25 @@ $extrastylesheet -