diff options
author | erikjohnston <erikjohnston@users.noreply.github.com> | 2022-04-12 12:40:14 +0000 |
---|---|---|
committer | erikjohnston <erikjohnston@users.noreply.github.com> | 2022-04-12 12:40:14 +0000 |
commit | 6a2b9facb00966efafa78fa942c0be36ce0d461e (patch) | |
tree | 4aa766b61824396e2cd2797dc83d6fe606f5444c /v1.57/website_files/table-of-contents.css | |
parent | deploy: dd5cc37aa465df8e33fd872de2528dc53740b2a6 (diff) | |
download | synapse-6a2b9facb00966efafa78fa942c0be36ce0d461e.tar.xz |
deploy: 641f43ba81d4c155cf2821a7be6b499aed66e1ec
Diffstat (limited to '')
-rw-r--r-- | v1.57/website_files/table-of-contents.css | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/v1.57/website_files/table-of-contents.css b/v1.57/website_files/table-of-contents.css new file mode 100644 index 0000000000..1b6f44b66a --- /dev/null +++ b/v1.57/website_files/table-of-contents.css @@ -0,0 +1,47 @@ +:root { + --pagetoc-width: 250px; +} + +@media only screen and (max-width:1439px) { + .sidetoc { + display: none; + } +} + +@media only screen and (min-width:1440px) { + main { + position: relative; + margin-left: 100px !important; + margin-right: var(--pagetoc-width) !important; + } + .sidetoc { + margin-left: auto; + margin-right: auto; + left: calc(100% + (var(--content-max-width))/4 - 140px); + position: absolute; + text-align: right; + } + .pagetoc { + position: fixed; + width: var(--pagetoc-width); + overflow: auto; + right: 20px; + height: calc(100% - var(--menu-bar-height)); + } + .pagetoc a { + color: var(--fg) !important; + display: block; + padding: 5px 15px 5px 10px; + text-align: left; + text-decoration: none; + } + .pagetoc a:hover, + .pagetoc a.active { + background: var(--sidebar-bg) !important; + color: var(--sidebar-fg) !important; + } + .pagetoc .active { + background: var(--sidebar-bg); + color: var(--sidebar-fg); + } +} |