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); } |