Tweak display for mobile to avoid menu text clipping

chrisws · chrisws · commit aded3c6ff5c4 · 2023-10-22T12:16:09.000+10:30
diff --git a/css/style.css b/css/style.css
@@ -608,11 +608,11 @@ span.user {
 }
 @media screen and (max-width: 550px) {
   .sidebar {
-    width: 5em;
+    width: 5.8em;
     padding: 3px 0.5em 10px 0.5em;
   }
   .mainsection {
-    margin: 0 0 0 5.2em;
+    margin: 0 0 0 6em;
   }
   .contentsPanel {
     width: auto;
@@ -623,6 +623,9 @@ span.user {
   .navigation > h4 {
     font-size: .7em;
   }
+  .navigation > ul {
+    font-size: .85em;
+  }
 }
 @media screen and (max-width: 400px) {
   #simpleSearch {
@@ -764,4 +767,4 @@ code span.ss { color: #bb6688; } /* SpecialString */
 code span.st { color: #4070a0; } /* String */
 code span.va { color: #19177c; } /* Variable */
 code span.vs { color: #4070a0; } /* VerbatimString */
-code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; }
+code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; }

Original file line number	Diff line number	Diff line change
`@@ -608,11 +608,11 @@ span.user {`
`608`	`608`	`}`
`609`	`609`	`@media screen and (max-width: 550px) {`
`610`	`610`	`.sidebar {`
`611`		`- width: 5em;`
	`611`	`+ width: 5.8em;`
`612`	`612`	`padding: 3px 0.5em 10px 0.5em;`
`613`	`613`	`}`
`614`	`614`	`.mainsection {`
`615`		`- margin: 0 0 0 5.2em;`
	`615`	`+ margin: 0 0 0 6em;`
`616`	`616`	`}`
`617`	`617`	`.contentsPanel {`
`618`	`618`	`width: auto;`
`@@ -623,6 +623,9 @@ span.user {`
`623`	`623`	`.navigation > h4 {`
`624`	`624`	`font-size: .7em;`
`625`	`625`	`}`
	`626`	`+ .navigation > ul {`
	`627`	`+ font-size: .85em;`
	`628`	`+ }`
`626`	`629`	`}`
`627`	`630`	`@media screen and (max-width: 400px) {`
`628`	`631`	`#simpleSearch {`
`@@ -764,4 +767,4 @@ code span.ss { color: #bb6688; } /* SpecialString */`
`764`	`767`	`code span.st { color: #4070a0; } /* String */`
`765`	`768`	`code span.va { color: #19177c; } /* Variable */`
`766`	`769`	`code span.vs { color: #4070a0; } /* VerbatimString */`
`767`		`-code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; }`
	`770`	`+code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; }`