diff --git a/tools/manual/index.html b/tools/manual/index.html index 9c8f094189..472404094e 100644 --- a/tools/manual/index.html +++ b/tools/manual/index.html @@ -49,7 +49,8 @@ a:link, a:visited {