code div highlights padding 8px, margin 8px

robertsilen · robertsilen · commit 7445c352b6d8 · 2026-01-12T20:29:57.000+02:00
diff --git a/static/css/main.css b/static/css/main.css
@@ -324,3 +324,8 @@ img[src$='#floatright']
        //etc. etc.
 }
 
+.highlight pre {
+    padding: 8px;
+    margin: 8px;
+}
+
