From: Mischa POSLAWSKY Date: Fri, 18 May 2018 22:54:51 +0000 (+0200) Subject: vi: swap new/ext styles (dashed/ghost respectively) X-Git-Tag: v1.12~52 X-Git-Url: http://git.shiar.nl/sheet.git/commitdiff_plain/a276fd5a3ff11c8f203b1c6bb5c663f11894e41d vi: swap new/ext styles (dashed/ghost respectively) Reduced visibility is more appropriate for optional features. --- 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; }