diff --git a/docs/contents.html b/docs/contents.html index d15e6c1e336..674bbae3b0b 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -65,6 +65,7 @@ a:visited {