diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-09-09 14:50:23 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-09-09 14:50:23 +0200 |
| commit | e01aefd773420fd97580744d1c19026796203b8a (patch) | |
| tree | bdec63161e3a963c151c45b6f3223392bd7370df /doc | |
| parent | b24660a2045f3d6efc4727d4e4b3767f8da07e03 (diff) | |
Update shipped themes.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/default_theme.rasi | 4 | ||||
| -rw-r--r-- | doc/old-theme-convert-output.rasi | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index 8ee95e2b..d34581e4 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -40,9 +40,9 @@ #message { border: 1px dash 0px 0px ; border-color: @separatorcolor; - padding: 2px 0px 0px ; + padding: 1px ; } -#message.normal { +#textbox { text-color: @foreground; } #listview { diff --git a/doc/old-theme-convert-output.rasi b/doc/old-theme-convert-output.rasi index 9f7dbf12..20a0303b 100644 --- a/doc/old-theme-convert-output.rasi +++ b/doc/old-theme-convert-output.rasi @@ -41,9 +41,9 @@ #message { border: 2px 0px 0px ; border-color: @separatorcolor; - padding: 2px 0px 0px ; + padding: 1px ; } -#message.normal { +#textbox { text-color: @foreground; } #listview { |