diff --git a/doc/toc.html b/doc/toc.html index 8aceaa17d..c9c5ec46d 100644 --- a/doc/toc.html +++ b/doc/toc.html @@ -36,7 +36,6 @@ border-left: #cccccc 2px solid; margin-left: 10px; } -