diff options
| author | Daniel Hahler <git@thequod.de> | 2020-03-10 07:00:07 +0100 |
|---|---|---|
| committer | Daniel Hahler <git@thequod.de> | 2020-03-10 09:21:52 +0100 |
| commit | 41fcbbc8662d564da902f09b8487466f5e942c50 (patch) | |
| tree | cf4fd7161804f6427bceb2d012629daefc205fe0 /doc/development/tutorials/examples/todo.py | |
| parent | 46b4f595ca463159898e8581278cab2e26861df1 (diff) | |
| download | sphinx-git-41fcbbc8662d564da902f09b8487466f5e942c50.tar.gz | |
Use bright colors instead of bold
The code apparently comes from pygments where it was fixed to use
aixterm colors (SGR color codes 90-97m) for bright colors instead of
bold.
Ref: https://github.com/kovidgoyal/kitty/issues/197#issuecomment-348062665
Ref: https://github.com/pygments/pygments/commit/433b39cc
Ref: https://github.com/pygments/pygments/issues/1184
Diffstat (limited to 'doc/development/tutorials/examples/todo.py')
0 files changed, 0 insertions, 0 deletions