From fac3579fb0124a13c5066c660e8a2bd89ed1e144 Mon Sep 17 00:00:00 2001 From: Mario Vavti Date: Sat, 22 Dec 2018 19:47:46 +0100 Subject: revert padding for text highlight. It is messing with indent punctuation and decreases legibility of the highlighted text. --- view/theme/redbasic/css/style.css | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'view/theme/redbasic') diff --git a/view/theme/redbasic/css/style.css b/view/theme/redbasic/css/style.css index b406e710c..18c3db665 100644 --- a/view/theme/redbasic/css/style.css +++ b/view/theme/redbasic/css/style.css @@ -1806,6 +1806,5 @@ dl.bb-dl > dd > li { /* default highlighted text if not specified by schema: */ span.default-highlight { - background-color: yellow; - padding: 2px 4px; + background-color: yellow; } -- cgit v1.2.3