Update dist/index.html

dist/index.html

@@ -28,7 +28,6 @@
 
         /* table of contents */
         #toc {
-                padding: 0;
                 background-color: white;
                 z-index: 2;
                 /* width: 250px; */
@@ -40,6 +39,7 @@
         #toc nav {
                 display: none;
                 overflow: auto;
+                padding-right: 1em;
                 height: calc(100vh - 48px);
         }