diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-12-04 09:04:49 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-12-04 09:04:49 +0200 |
| commit | c8089179f84a2cabd84a47a800aaadd9af8bd9b8 (patch) | |
| tree | 5270a456534b801f1f5fb0c600f9cd34fbbd7a28 /.github | |
| parent | 9fde33bb6f8149cc8dee7ac626b8b56f9f1cd14e (diff) | |
Added a second sidebar; removed hover outline
A sidebar on the right is a better solution than a kludgy non-interactive special-purpose outline that appears when hoving the mouse on the document scrollbar.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions