summaryrefslogtreecommitdiff
path: root/ext/mixed/css
diff options
context:
space:
mode:
Diffstat (limited to 'ext/mixed/css')
-rw-r--r--ext/mixed/css/display.css4
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;