Draw floating table-of-contents on the right when possible.

2023-04-28 00:05:40 +02:00 · 2023-04-28 00:05:40 +02:00 · 5ae3be6d0f
commit 5ae3be6d0f
parent 61b1b79f95
1 changed files with 15 additions and 0 deletions
--- a/static/style.css
+++ b/static/style.css
@ -462,6 +462,21 @@ tr.__table-separator {
    border-bottom: 0.5ex solid black;
 }

+/* Side-to-side */
+@media (min-width: 120ex) {
+    body {
+        margin: 0;
+    }
+    .global-table-of-contents {
+        position: fixed;
+        right: 1ex;
+        max-width: calc(100vw - 85ex);
+        top: 1ex;
+        overflow: auto;
+        max-height: 100vh;
+    }
+}
+
 /* Dark mode. */
@media (prefers-color-scheme: dark) {
    html {