diff options
Diffstat (limited to 'static/css/style.css')
-rw-r--r-- | static/css/style.css | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/static/css/style.css b/static/css/style.css index 5861415..e197a60 100644 --- a/static/css/style.css +++ b/static/css/style.css @@ -180,6 +180,29 @@ nav.navigation a.button { } } +/* toc */ +.toc { + margin: auto; + background: #f8f8f8; + border-radius: 0; + padding: 10px 7px; + margin-top: 36px; +} +.toc details summary { + cursor: zoom-in; + margin-inline-start: 14px; + font-weight: 500; +} +.toc details[open] summary { + cursor: zoom-out; +} +.toc #TableOfContents { + margin-left: 10px; +} +.toc ul { + padding-inline-start: 24px; +} + /* comment */ #comment { margin-top: 64px; |