fix: make printed page look somewhat decent

static/print.css

@@ -1,16 +1,52 @@
 @media print {
-    /* Get rid of frames emulation, which breaks printing */
+    /* Remove header */
+    header {
+        display: none;
+    }
     .with-toc {
-        display: block;
-        height: unset;
+        margin-top: 0;
     }
-    .with-toc > * {
-        grid-area: unset;
+
+    /* Remove nav bar */
+    .with-toc > main {
+        padding-left: 0;
     }
-    .with-toc > header {
+    #toc {
         display: none;
     }
-    #toc {
+
+    /* Fix scroll bars appearing in some code snippets */
+    pre {
+        white-space: pre-wrap;
+    }
+    pre.hl.lean {
+        white-space: pre-wrap;
+    }
+    .hl.lean.block {
+        white-space: pre-wrap;
+    }
+
+    /* Fix look of footnotes */
+    span.marginalia span.note {
+        float: none;
+        margin: 0 0 0 1ch;
+        padding: 0 .5ch 0 1.5ch;
+        border: 1px solid #98B2C0;
+        border-radius: .5rem;
+    }
+    span.marginalia .note::before {
+        content: "i";
+        width: 1rem;
+        height: 1rem;
+        top: .1rem;
+        left: -.5rem;
+        line-height: 1.1rem;
+        text-align: center;
+        border: 1px solid #98B2C0;
+        border-radius: 1rem;
+        background-color: #fff;
+    }
+    span.marginalia::after {
         display: none;
     }
 
@@ -25,4 +61,4 @@
         orphans: 3;
         widows: 3;
     }
-}
+}