From 0e56cfbe108c154aeb3ce7aa1bec16d1a16c8711 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20Mart=C3=ADnez=20Portela?= Date: Sun, 14 May 2023 21:06:27 +0200 Subject: [PATCH] Show TOC on the left side. --- static/style.css | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/static/style.css b/static/style.css index 47acb81..1fe59e4 100644 --- a/static/style.css +++ b/static/style.css @@ -484,11 +484,15 @@ tr.__table-separator { @media (min-width: 120ex) { body:not(.no-toc) { margin: 0; + max-width: none; + } + body:not(.no-toc) > .node { + margin-left: 25rem; } body:not(.no-toc) .global-table-of-contents { position: fixed; - right: 1ex; - max-width: calc(100vw - 85ex); + left: 1ex; + max-width: 25rem; top: 1ex; overflow: auto; max-height: 100vh;