diff options
-rw-r--r-- | ext/css/display.css | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/ext/css/display.css b/ext/css/display.css index 0b1c5f93..10de5d62 100644 --- a/ext/css/display.css +++ b/ext/css/display.css @@ -27,6 +27,8 @@ --expression-separator: '\3001'; + --inflection-separator: '\00AB'; + /* Layout */ --font-size-no-units: 14; --font-size: calc(1px * var(--font-size-no-units)); @@ -821,9 +823,8 @@ button.action-button[data-icon=source-term]::before { display: none; } .inflection-list>.inflection+.inflection-separator+.inflection::before { - content: ' \00AB '; /* The two spaces is not a typo */ - white-space: pre-wrap; - display: inline; + content: var(--inflection-separator); + padding: 0 0.25em; } @@ -859,9 +860,6 @@ button.action-button[data-icon=source-term]::before { .expression-tag-list { display: none; } -.expression-details>.frequencies { - display: none; -} .expression-list-details { display: inline; } |