diff options
| author | Dave Davenport <qball@gmpclient.org> | 2019-08-20 22:51:07 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2019-08-20 22:51:07 +0200 |
| commit | aa35ecc40a51af21c3a32f4a74c42407ec78db22 (patch) | |
| tree | 0ca44290a94755e83acbf8cbf7362651c3b8cdaa /doc/default_theme.rasi | |
| parent | ad74da45d1ce281c5cd23aa1809c3f0cfc0c636f (diff) | |
[DRun] Add keywords to match and printing.
Diffstat (limited to 'doc/default_theme.rasi')
| -rw-r--r-- | doc/default_theme.rasi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index 41d3ea0b..2e8698ca 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -79,6 +79,7 @@ element-text { element-icon { background-color: rgba ( 0, 0, 0, 0 % ); text-color: inherit; + size: 1.2ch; } window { background-color: var(background); |