From c2269d7202f4b8b00339547e08a1eecb06510e11 Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Mon, 18 Oct 2021 09:11:34 -0400 Subject: [PATCH] Minor CSS fix --- src/css/common.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/css/common.css b/src/css/common.css index b0c9e0c24..be3767653 100644 --- a/src/css/common.css +++ b/src/css/common.css @@ -1,5 +1,5 @@ -/* https://protocol.mozilla.org/assets/docs/css/protocol.css */ @charset "UTF-8"; +/* https://protocol.mozilla.org/assets/docs/css/protocol.css */ @font-face { font-family: Inter; font-style: normal; @@ -58,7 +58,7 @@ code, .code { background-color: var(--button-surface); font-family: monospace; font-size: smaller; - padding: 4px; + padding: 2px 4px; } hr { border: 0;