From a276fd5a3ff11c8f203b1c6bb5c663f11894e41d Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Sat, 19 May 2018 00:54:51 +0200 Subject: [PATCH] vi: swap new/ext styles (dashed/ghost respectively) Reduced visibility is more appropriate for optional features. --- base.css | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/base.css b/base.css index 557a21f..6476c81 100644 --- a/base.css +++ b/base.css @@ -578,12 +578,12 @@ dl.legend dt.more:hover, .keys td.more:hover b { text-shadow: #F20 0 0 0.5em, #FC0 0 0 0.2em; } -dl.legend dt.ext, -.keys td.ext { - border-style: dashed; -} dl.legend dt.new, .keys td.new { + border-style: dashed; +} +dl.legend dt.ext, +.keys td.ext { opacity: .6; } -- 2.30.0