diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-03-29 11:19:43 -0400 |
---|---|---|
committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-03-29 11:19:43 -0400 |
commit | a7da4416d75871a0c42ecd91d8408f037ca1ed3e (patch) | |
tree | 2e27194455bc0232be2f515046021efc590c7efb /ext/mixed/css | |
parent | aa2a0c09f446aaa4ac5b052f5b9afb040e37afc2 (diff) |
Change names
Diffstat (limited to 'ext/mixed/css')
-rw-r--r-- | ext/mixed/css/display-dark.css | 2 | ||||
-rw-r--r-- | ext/mixed/css/display-default.css | 2 | ||||
-rw-r--r-- | ext/mixed/css/display.css | 10 |
3 files changed, 7 insertions, 7 deletions
diff --git a/ext/mixed/css/display-dark.css b/ext/mixed/css/display-dark.css index 67fdb797..550dff3e 100644 --- a/ext/mixed/css/display-dark.css +++ b/ext/mixed/css/display-dark.css @@ -62,7 +62,7 @@ h2 { border-bottom-color: #2f2f2f; } .term-definition-list, .term-pitch-accent-group-list, -.term-pitch-accent-expression-list, +.term-pitch-accent-disambiguation-list, .kanji-glossary-list { color: #888888; } diff --git a/ext/mixed/css/display-default.css b/ext/mixed/css/display-default.css index be7a37a9..487b8cb8 100644 --- a/ext/mixed/css/display-default.css +++ b/ext/mixed/css/display-default.css @@ -62,7 +62,7 @@ h2 { border-bottom-color: #eeeeee; } .term-definition-list, .term-pitch-accent-group-list, -.term-pitch-accent-expression-list, +.term-pitch-accent-disambiguation-list, .kanji-glossary-list { color: #777777; } diff --git a/ext/mixed/css/display.css b/ext/mixed/css/display.css index c150b12e..c351a34c 100644 --- a/ext/mixed/css/display.css +++ b/ext/mixed/css/display.css @@ -489,23 +489,23 @@ button.action-button { margin-right: 0.375em; } -.term-pitch-accent-expression-list { +.term-pitch-accent-disambiguation-list { padding-right: 0.25em; } -.term-pitch-accent-expression-list[data-count="0"] { +.term-pitch-accent-disambiguation-list[data-count="0"] { display: none; } -.term-pitch-accent-expression-list:before { +.term-pitch-accent-disambiguation-list:before { content: "("; } -.term-pitch-accent-expression-list:after { +.term-pitch-accent-disambiguation-list:after { content: " only)"; } -.term-pitch-accent-expression+.term-pitch-accent-expression:before { +.term-pitch-accent-disambiguation+.term-pitch-accent-disambiguation:before { content: ", "; } |