printing css

static/css/blog/post.css

@@ -246,3 +246,31 @@ nav#toc {
     visibility: hidden;
   }
 }
+
+@media print {
+  /* Better colors for paper */
+  blockquote {
+    border-color: black;
+    background: var(--background);
+  }
+
+  .hljs {
+    background: var(--background);
+  }
+
+  /* Force line numbering to be on top */
+  td.hljs-ln-line {
+    vertical-align: top;
+  }
+
+  /* Break code */
+  code.hljs {
+    white-space: break-spaces;
+    hyphens: none;
+  }
+
+  /* Hide arrows of backref */
+  a.footnote-backref {
+    visibility: hidden;
+  }
+}

static/css/style.css

@@ -67,7 +67,25 @@ header nav a:hover {
 }
 
 @media print {
+  /* Hide navigation header */
   header nav {
-    visibility: hidden;
+    display: none;
+  }
+
+  /* Better colors for paper */
+  html {
+    color: black;
+    background-color: white;
+  }
+
+  /* Add links */
+  a:not(:where([href^="#"], [href^="/"])):not(:has(img))::after {
+    content: " (" attr(href) ")";
+    display: inline-block;
+    color: mediumblue;
+  }
+
+  a {
+    text-underline-position: under;
   }
 }