KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Website: Add a scrollbar to the sidebar if needed

Browse Source
This commit is contained in:
Kovid Goyal 2019-11-04 18:05:08 +05:30
parent 7a02d09508
commit fae57a5868
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/_static/custom.css vendored
View File

@ -78,6 +78,8 @@ body div.document {
div.sphinxsidebar { div.sphinxsidebar {
font-size: inherit; font-size: inherit;
line-height: inherit; line-height: inherit;
max-height: 100%;
overflow-y: auto;
} }
#sidebartoc li { #sidebartoc li {