diff --git a/doc/doc_files/nav_bottom.html b/doc/doc_files/nav_bottom.html index a8769dc..1605e97 100644 --- a/doc/doc_files/nav_bottom.html +++ b/doc/doc_files/nav_bottom.html @@ -81,11 +81,11 @@ ul, #myUL {