diff options
| author | Dave Davenport <qball@gmpclient.org> | 2019-03-19 22:45:10 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2019-03-19 22:45:10 +0100 |
| commit | 6fffe427c41c63f8bb0999d015228b9176af76e2 (patch) | |
| tree | 33fd0752dab3287daf9b843471f23e9d408f9692 /doc/default_theme.rasi | |
| parent | beeb9c8b2775d2f6f6d4b8649a52101a2ffe0b2e (diff) | |
Change sidebar in theme to mode-switcher.
Fixes: #930
Diffstat (limited to 'doc/default_theme.rasi')
| -rw-r--r-- | doc/default_theme.rasi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index 3b346a6d..d7e3b305 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -103,7 +103,7 @@ scrollbar { handle-width: 8px ; padding: 0; } -sidebar { +mode-switcher { border: 2px dash 0px 0px ; border-color: var(separatorcolor); } |