diff --git a/src/manual/style.css b/src/manual/style.css
index db484ff010ffab8dc922b623be556f90af98881e..e40beb7b6de24f676eb9e9a33c13ab6a9edf0736 100644
--- a/src/manual/style.css
+++ b/src/manual/style.css
@@ -15,12 +15,10 @@
   --accent: light-dark(#179299, #94e2d5);
   --link: light-dark(#179299, #94e2d5);
 
-  --font-text:
-    system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen,
-    Ubuntu, Cantarell, "Open Sans", "Helvetica Neue", sans-serif;
-  --font-code:
-    ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono",
-    "Courier New", monospace;
+  --font-text: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto,
+    Oxygen, Ubuntu, Cantarell, "Open Sans", "Helvetica Neue", sans-serif;
+  --font-code: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas,
+    "Liberation Mono", "Courier New", monospace;
 }
 
 * {
@@ -40,17 +38,30 @@ body {
 main {
   width: 100%;
   max-width: 80ch;
-  padding: 1rem;
-  padding-top: 2rem;
+  padding: 2rem;
   margin: auto;
   line-height: 1.5;
 }
 
-h1, h2, h3, h4, h5, h6, p, ul, pre, blockquote, table {
+h1,
+h2,
+h3,
+h4,
+h5,
+h6,
+p,
+ul,
+pre,
+blockquote,
+table {
   margin-bottom: 1rem;
 }
 
-h2, h3, h4, h5, h6 {
+h2,
+h3,
+h4,
+h5,
+h6 {
   padding-top: 0.8rem;
   margin-top: -0.8rem;
 }
@@ -75,12 +86,15 @@ a {
   color: inherit;
 }
 
-table, th, td {
+table,
+th,
+td {
   border: 1px solid #9ca0b0;
   border-collapse: collapse;
 }
 
-th, td {
+th,
+td {
   padding: 0.5rem;
 }
 
@@ -89,31 +103,31 @@ th, td {
 }
 
 .ansi-31 {
-  color: light-dark(#d20f39, #f38ba8);
+  color: #f38ba8;
 }
 
 .ansi-32 {
-  color: light-dark(#40a02b, #a6e3a1);
+  color: #a6e3a1;
 }
 
 .ansi-33 {
-  color: light-dark(#de8d1c, #f9e2af);
+  color: #f9e2af;
 }
 
 .ansi-34 {
-  color: light-dark(#1e66f5, #89b4fa);
+  color: #89b4fa;
 }
 
 .ansi-35 {
-  color: light-dark(#ea76cb, #f5c2e7);
+  color: #f5c2e7;
 }
 
 .ansi-36 {
-  color: light-dark(#179299, #94e2d5);
+  color: #94e2d5;
 }
 
 .ansi-2 {
-  color: light-dark(#bcc0cc, #8087a2);
+  color: #8087a2;
 }
 
 .kw {
@@ -130,7 +144,8 @@ th, td {
   font-weight: bold;
 }
 
-.tok-number_int, .tok-number_float {
+.tok-number_int,
+.tok-number_float {
   color: light-dark(#fe640b, #fab387);
 }
 
@@ -161,10 +176,12 @@ aside {
   padding: 1rem;
   border-radius: 0 1rem 1rem 0;
   overflow-y: auto;
-  width: 40ch;
+  width: 35ch;
 }
 
-#toc, #toc ul, #links {
+#toc,
+#toc ul,
+#links {
   list-style: none;
 }
 
@@ -236,7 +253,8 @@ aside a:hover {
   margin: 0;
 }
 
-#hidden-menu-checkbox, [name="tabs"] {
+#hidden-menu-checkbox,
+[name="tabs"] {
   display: block;
   width: 1px;
   height: 1px;
@@ -245,7 +263,8 @@ aside a:hover {
   left: -3px;
 }
 
-#menu-btn, #clickable-background {
+#menu-btn,
+#clickable-background {
   display: none;
 }
 
@@ -279,12 +298,14 @@ main a:active {
   text-decoration: none;
 }
 
-.heading:hover, .heading:focus-visible {
+.heading:hover,
+.heading:focus-visible {
   text-decoration: underline;
   position: relative;
 }
 
-.heading:hover::before, .heading:focus-visible::before {
+.heading:hover::before,
+.heading:focus-visible::before {
   content: " #";
   color: var(--subtext-0);
   position: absolute;
@@ -413,7 +434,8 @@ main a:active {
     background-color: var(--surface-0);
   }
 
-  #open, #close {
+  #open,
+  #close {
     display: none !important;
   }
 
@@ -448,7 +470,8 @@ pre > code {
   padding: 0;
 }
 
-pre, code {
+pre,
+code {
   border: 0;
   background-color: transparent;
   font-family: var(--font-code);
@@ -475,7 +498,8 @@ pre, code {
 .file pre {
   margin: 0;
   padding: 0.75rem 0.5rem;
-  overflow-y: scroll;
+  overflow-y: auto;
+  white-space: pre-wrap;
   color: var(--text);
   position: relative;
 }