Make sidebar fixed

develop
lethosor 2020-07-03 20:42:23 -04:00
parent 30c8db811d
commit 9a3747d307
2 changed files with 10 additions and 0 deletions

@ -297,6 +297,7 @@ html_theme_options = {
'github_repo': 'dfhack', 'github_repo': 'dfhack',
'github_button': False, 'github_button': False,
'travis_button': False, 'travis_button': False,
'fixed_sidebar': True,
} }
# The name for this set of Sphinx documents. If None, it defaults to # The name for this set of Sphinx documents. If None, it defaults to

@ -46,3 +46,12 @@ div.body p, div.body dd, div.body li, div.body blockquote {
-webkit-hyphens: manual; -webkit-hyphens: manual;
hyphens: manual; hyphens: manual;
} }
div.sphinxsidebar {
max-height: 100%;
overflow-y: auto;
}
div.sphinxsidebar h3 > a {
border-bottom: 1px dotted #999;
}