From 24d8c35592de2e310a6c9e15fce7f18dcddceea0 Mon Sep 17 00:00:00 2001
From: Azrenbeth <Azrenbeth@users.noreply.github.com>
Date: Fri, 27 Aug 2021 14:19:43 +0000
Subject: deploy: 54aa7047ebf0d2605e31bdd4933effc4eb63813b

---
 develop/docs/website_files/table-of-contents.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'develop/docs')

diff --git a/develop/docs/website_files/table-of-contents.css b/develop/docs/website_files/table-of-contents.css
index d16bb3b988..1b6f44b66a 100644
--- a/develop/docs/website_files/table-of-contents.css
+++ b/develop/docs/website_files/table-of-contents.css
@@ -1,3 +1,7 @@
+:root {
+    --pagetoc-width: 250px;
+}
+
 @media only screen and (max-width:1439px) {
     .sidetoc {
         display: none;
@@ -8,6 +12,7 @@
     main {
         position: relative;
         margin-left: 100px !important;
+        margin-right: var(--pagetoc-width) !important;
     }
     .sidetoc {
         margin-left: auto;
@@ -18,7 +23,7 @@
     }
     .pagetoc {
         position: fixed;
-        width: 250px;
+        width: var(--pagetoc-width);
         overflow: auto;
         right: 20px;
         height: calc(100% - var(--menu-bar-height));
-- 
cgit 1.5.1