From f174be032e54e8b3b617759f20771a451b15dd47 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20Mart=C3=ADnez=20Portela?= Date: Tue, 20 Dec 2022 00:59:00 +0100 Subject: [PATCH] Softer border on results box. --- static/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/static/style.css b/static/style.css index a23065d..c61946d 100644 --- a/static/style.css +++ b/static/style.css @@ -550,7 +550,7 @@ tr.__table-separator { /* Results */ .results.lang-text { - border: 1px solid rgba(255,255,255,0.5); + border: 1px solid rgba(255,255,255,0.25); } .node .contents ul,