diff --git a/docs/index.html b/docs/index.html index 46589ad0..37630cf4 100644 --- a/docs/index.html +++ b/docs/index.html @@ -22,10 +22,11 @@ #tableOfContents { position: fixed; + font-size: 13px; top: 0; right: 0; background-color: #f9f9f9; - padding: 10px; + padding: 5px; border: 2px solid #ddd; } @@ -37,21 +38,14 @@