From b545fca6b313c5332bb9ea4a4b0e7098b01cafb7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jure=20=C5=A0orn?= <sornjure@gmail.com>
Date: Thu, 17 Oct 2024 20:23:43 +0200
Subject: [PATCH] Width of mobile site

---
 web/script_2.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/script_2.js b/web/script_2.js
index 3afed9b..7484625 100644
--- a/web/script_2.js
+++ b/web/script_2.js
@@ -62,7 +62,7 @@ var PLOTLY_WIDTH_DESKTOP = 914
 function switch_to_mobile_view() {
   $(`code:contains(ToC)`).html(TOC_MOBILE).css("line-height", TOC_EM);
   const body = document.querySelector("body");
-  body.style["width"] = `${TOC_SCREEN_WIDTH_CUTOFF+12}px`;
+  body.style["width"] = `${TOC_SCREEN_WIDTH_CUTOFF+9}px`;
   const plotlyDivs = document.querySelectorAll(".plotly-graph-div");
   plotlyDivs.forEach((div) => {
     div.style["width"] = `${TOC_SCREEN_WIDTH_CUTOFF}px`;