From 8f467e577fb770569458ea4713daaabb54827b34 Mon Sep 17 00:00:00 2001
From: Luca Pireddu <pireddu@crs4.it>
Date: Fri, 22 Mar 2024 19:17:07 +0100
Subject: [PATCH 1/3] fix: Try to fix column sizes on narrower screens (issue
 #384)

---
 assets/css/style.scss | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/assets/css/style.scss b/assets/css/style.scss
index c26d5a1de..52aa34695 100644
--- a/assets/css/style.scss
+++ b/assets/css/style.scss
@@ -101,6 +101,8 @@ Override static width settings.
     /* min-height: 800px;*/
     overflow-y: scroll;
     font-size: 15px;
+    max-width: 25%;  // must match the max-width of the body > div.row > div.section.col-sm-12
+    min-width: 140px;
 }
 
 .logo {
@@ -219,6 +221,10 @@ div.row.page-toc > div.col-12.toc-content {
     padding: 0;    
 }
 
+body > div.row > div.section.col-sm-12 {
+    max-width: 75%; // must match the max-width of .header
+}
+
 body > div.row > div.section.col-sm-12.ml-auto.col-md-9 > div > div.col-md-3.text-center > div.row.page-toc > div.col-12.toc-content{
     max-height: 80vh;
     overflow-y: scroll;

From dee8e1dcdcbf7a6b2e278591596b0454bbcfafa3 Mon Sep 17 00:00:00 2001
From: Luca Pireddu <pireddu@crs4.it>
Date: Fri, 22 Mar 2024 19:18:23 +0100
Subject: [PATCH 2/3] Whitespace

---
 assets/css/style.scss | 19 +++++++++----------
 1 file changed, 9 insertions(+), 10 deletions(-)

diff --git a/assets/css/style.scss b/assets/css/style.scss
index 52aa34695..b03d4f583 100644
--- a/assets/css/style.scss
+++ b/assets/css/style.scss
@@ -1,5 +1,5 @@
---- 
---- 
+---
+---
 
 @import "{{ site.theme }}";
 
@@ -112,7 +112,7 @@ Override static width settings.
 .footer {
     /* background: #003333;*/
     color: whitesmoke;
-    text-align: center;    
+    text-align: center;
     padding: 40px 0 10px;
     position: relative;
     bottom: 0px;
@@ -151,7 +151,7 @@ p img {
 
 .signin-button-container{
     position: -webkit-sticky;
-    position: sticky; 
+    position: sticky;
     top: 50px;
 }
 
@@ -189,7 +189,7 @@ p img {
 }
 
 .toc a:hover {
-    color: hsl(180, 63%, 33%);    
+    color: hsl(180, 63%, 33%);
 }
 
 div.page-toc {
@@ -205,20 +205,20 @@ div.page-toc {
     margin: 0;
     width: 100%;
     position: -webkit-sticky;
-    position: sticky; 
+    position: sticky;
     top: 120px;
 }
 
 div.row.page-toc > div.toc-title {
     font-size: 1.1em;
-    font-weight: bold;    
+    font-weight: bold;
     padding: 20px 18px 20px;
     text-align: center;
 }
 
 div.row.page-toc > div.col-12.toc-content {
     margin: 0;
-    padding: 0;    
+    padding: 0;
 }
 
 body > div.row > div.section.col-sm-12 {
@@ -234,7 +234,7 @@ body > div.row > div.section.col-sm-12.ml-auto.col-md-9 > div > div.col-md-3.tex
 
 div.row.page-toc > div.toc-content::-webkit-scrollbar {
     width: 0px;
-    background: transparent; /* make scrollbar transparent */ 
+    background: transparent; /* make scrollbar transparent */
 }
 
 // The outer-most ul generated for the TOC does not have a class assigned.
@@ -247,4 +247,3 @@ div.row.page-toc > div.col-12.toc-content > ul {
 ul.page-toc-item {
   padding-left: 20px;
 }
-

From 0974cbc4057cfb8203bf89340beff8f51707fdf0 Mon Sep 17 00:00:00 2001
From: Luca Pireddu <pireddu@gmail.com>
Date: Mon, 25 Mar 2024 14:16:12 +0100
Subject: [PATCH 3/3] Fix comment

---
 assets/css/style.scss | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/assets/css/style.scss b/assets/css/style.scss
index b03d4f583..8a5936d17 100644
--- a/assets/css/style.scss
+++ b/assets/css/style.scss
@@ -101,7 +101,7 @@ Override static width settings.
     /* min-height: 800px;*/
     overflow-y: scroll;
     font-size: 15px;
-    max-width: 25%;  // must match the max-width of the body > div.row > div.section.col-sm-12
+    max-width: 25%;  // must complement the max-width of the body > div.row > div.section.col-sm-12
     min-width: 140px;
 }
 
@@ -222,7 +222,7 @@ div.row.page-toc > div.col-12.toc-content {
 }
 
 body > div.row > div.section.col-sm-12 {
-    max-width: 75%; // must match the max-width of .header
+    max-width: 75%; // must complement the max-width of .header
 }
 
 body > div.row > div.section.col-sm-12.ml-auto.col-md-9 > div > div.col-md-3.text-center > div.row.page-toc > div.col-12.toc-content{