diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-10-31 09:51:00 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-10-31 09:51:00 +0100 |
| commit | 0bb64cf1adf3377f7c9847723dbb3ea19e06af13 (patch) | |
| tree | 98573e999f3f76b2227ac91b1191eb850bb05c6f /doc | |
| parent | 1dccdb302e321db3973b010fb4e11ae759bc4702 (diff) | |
Add extra margin between prompt and entry.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/default_theme.rasi | 2 | ||||
| -rw-r--r-- | doc/old-theme-convert-output.rasi | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index 7b33c40b..fd9d0549 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -113,7 +113,7 @@ text-color: @selected-normal-foreground; } #inputbar { - spacing: 0; + spacing: 3px ; text-color: @normal-foreground; padding: 1px ; } diff --git a/doc/old-theme-convert-output.rasi b/doc/old-theme-convert-output.rasi index 266c7767..18bfa179 100644 --- a/doc/old-theme-convert-output.rasi +++ b/doc/old-theme-convert-output.rasi @@ -113,7 +113,7 @@ text-color: @selected-normal-foreground; } #inputbar { - spacing: 0; + spacing: 3px ; text-color: @normal-foreground; padding: 1px ; } |