diff --git a/doc/root.html b/doc/root.html index d2ebe671ea..fbfbd2990d 100644 --- a/doc/root.html +++ b/doc/root.html @@ -27,13 +27,13 @@