diff options
Diffstat (limited to 'ext/mixed/css')
| -rw-r--r-- | ext/mixed/css/display.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/mixed/css/display.css b/ext/mixed/css/display.css index 4914bfa1..77f6b073 100644 --- a/ext/mixed/css/display.css +++ b/ext/mixed/css/display.css @@ -562,6 +562,10 @@ button.action-button { display: inline; } +:root[data-compact-tags=true] .tag[data-redundant=true] { + display: none; +} + .term-glossary-separator, .term-reason-separator { display: inline; |