Update theme.css

static/theme.css

@@ -56,6 +56,25 @@ li:not(:last-child) {
     overflow-x: auto;
 }
 
+/* Lean-Bezeichner im Fließtext (`code`-Spannen) ebenfalls dezent
+   hinterlegen — die andere Schriftart allein hebt sie zu wenig ab.
+   Ausgenommen: Mathe-Formeln (KaTeX), Highlighter-Blöcke, Meldungen. */
+code:not(.math):not([class~="hl"]):not(.verso-message):not(.docstring) {
+    background-color: #f6f7f8;
+    border: 1px solid #e1e4e8;
+    border-radius: 0.25em;
+    padding: 0.05em 0.3em;
+}
+
+/* Innerhalb von Codeblöcken, Tooltips und Meldungen kein zweiter Kasten */
+.hl.lean code,
+.verso-message code,
+pre code {
+    background-color: transparent;
+    border: none;
+    padding: 0;
+}
+
 /* Skript-Zitate (Sätze, Definitionen, Beweise) in umrandeten Kästen */
 blockquote {
     margin: 1.25em 0;