diff --git a/assets/default.css b/assets/default.css index 457a20a..af1e592 100644 --- a/assets/default.css +++ b/assets/default.css @@ -292,7 +292,10 @@ dt, div.highlight { margin-left: 2ch; - padding: 1ch; +} + +pre.highlight { + padding: 2ch; } a,