From 7b8adcd0c9c7ec9329189fef50a8659bb0e3bb87 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Sun, 5 Dec 2021 06:29:48 +0100 Subject: [PATCH] userChrome/urlbar: tweak padding (MR 19) Add a bit of padding to the left and to the right. --- src/userChrome/urlbar.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/userChrome/urlbar.css b/src/userChrome/urlbar.css index 2047573..0f9bce0 100644 --- a/src/userChrome/urlbar.css +++ b/src/userChrome/urlbar.css @@ -30,6 +30,10 @@ display: none !important; } + #urlbar { + padding: 0px 5px; + } + /* Smaller font: show more of the URL */ #urlbar-input { font-size: 9pt !important;