diff options
| author | Darius Jahandarie <djahandarie@gmail.com> | 2023-08-15 23:57:37 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-15 23:57:37 +0900 |
| commit | 83be1d6312b5741f732243e3315a1f98c12dc184 (patch) | |
| tree | 797652c9b6b8d637e0dbbbd0cb2cdeb26c248ca8 /ext/css | |
| parent | c4378974f1bea94947cbe6278b1d1593cfe653d9 (diff) | |
| parent | 7bad83e01cb4bb65dd544de127224ba453b8e4eb (diff) | |
Merge pull request #187 from infi-personal/master
Add support for exporting and importing dictionaries database.
Diffstat (limited to 'ext/css')
| -rw-r--r-- | ext/css/settings.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/ext/css/settings.css b/ext/css/settings.css index 33fbc22c..eaebc3af 100644 --- a/ext/css/settings.css +++ b/ext/css/settings.css @@ -680,6 +680,16 @@ select.short-height { padding-top: var(--padding); padding-right: var(--padding); } +.settings-item-progress-report { + display: none; + font-weight: bold; + color: #4169e1; +} +.settings-item-error-report { + display: none; + font-weight: bold; + color: #8b0000; +} /* Advanced settings */ |