doc up

2016-09-20 17:35:25 +02:00 · 2016-09-20 17:35:25 +02:00 · 92bd82c65f
parent 957097c22c
commit 92bd82c65f
1 changed files with 1 additions and 0 deletions
--- a/about.html
+++ b/about.html
@ -35,6 +35,7 @@

      #documentation pre{
          margin-left: 20px;
+          overflow: auto;
      }

      #symbol-index>ul{