diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-13 13:38:44 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:08 +0100 |
| commit | eeeada2083dead6ef15c2c45e4158fa677b8ec02 (patch) | |
| tree | 0e5e634c3a5e5c69f17e1d4953a444ca766fbe09 /doc-tool/resources | |
| parent | 2c08c956d39d9a06b3c5aa7eddc3b8c903f807df (diff) | |
| download | dotty-eeeada2083dead6ef15c2c45e4158fa677b8ec02.tar.gz dotty-eeeada2083dead6ef15c2c45e4158fa677b8ec02.tar.bz2 dotty-eeeada2083dead6ef15c2c45e4158fa677b8ec02.zip | |
Fix dotty docs gen, scroll
Diffstat (limited to 'doc-tool/resources')
| -rw-r--r-- | doc-tool/resources/css/dottydoc.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css index 71f3d88c7..ee66c810c 100644 --- a/doc-tool/resources/css/dottydoc.css +++ b/doc-tool/resources/css/dottydoc.css @@ -22,6 +22,7 @@ div.index-wrapper { top: 0; left: 0; height: 100%; + overflow-y: auto; } div#content-body { |