diff options
| author | Henrik Tjäder | 2023-03-05 02:21:31 +0000 |
|---|---|---|
| committer | GitHub | 2023-03-05 02:21:31 +0000 |
| commit | cf153080d7712f9a03e5e2c30bbae10eade1dc74 (patch) | |
| tree | 5cb41d072eefa7069ff5bdbd6da2906959b44068 /book/src/SUMMARY.md | |
| parent | a2e54167d8f9ad8764ba586488d3995aeb33a559 (diff) | |
Theme: Papercolor: Add ui.highlight (#6162)
Using the picker with syntax highlighting the
fallback `ui.selection` makes a lot of text,
especially for the light variant, hard to read.
Instead, use a lighter background for highlights
Diffstat (limited to 'book/src/SUMMARY.md')
0 files changed, 0 insertions, 0 deletions