diff options
Diffstat (limited to 'docs/css')
| -rw-r--r-- | docs/css/default.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/css/default.css b/docs/css/default.css index a4f05daa..af6a9cc0 100644 --- a/docs/css/default.css +++ b/docs/css/default.css @@ -303,3 +303,7 @@ table { border-color: white; margin-bottom: 0.6em; } + +.side-nav { + overflow-y: scroll; +} |