diff --git a/docs/contents.html b/docs/contents.html index 693145c2e3c..21eca4df871 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -64,6 +64,7 @@ a:visited {