From 0bfda6d4c85cb90ef4e29f8f69995a69794a616e Mon Sep 17 00:00:00 2001 From: Mario Vavti Date: Sat, 22 Dec 2018 18:47:46 +0000 Subject: revert padding for text highlight. It is messing with indent punctuation and decreases legibility of the highlighted text. (cherry picked from commit fac3579fb0124a13c5066c660e8a2bd89ed1e144) --- view/theme/redbasic/css/style.css | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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