summary refs log tree commit diff
path: root/v1.57/website_files/table-of-contents.css
diff options
context:
space:
mode:
authorerikjohnston <erikjohnston@users.noreply.github.com>2022-04-12 12:40:14 +0000
committererikjohnston <erikjohnston@users.noreply.github.com>2022-04-12 12:40:14 +0000
commit6a2b9facb00966efafa78fa942c0be36ce0d461e (patch)
tree4aa766b61824396e2cd2797dc83d6fe606f5444c /v1.57/website_files/table-of-contents.css
parentdeploy: dd5cc37aa465df8e33fd872de2528dc53740b2a6 (diff)
downloadsynapse-6a2b9facb00966efafa78fa942c0be36ce0d461e.tar.xz
deploy: 641f43ba81d4c155cf2821a7be6b499aed66e1ec
Diffstat (limited to '')
-rw-r--r--v1.57/website_files/table-of-contents.css47
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);
+    }
+}