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 /sphinx/util/console.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 'sphinx/util/console.py')
| -rw-r--r-- | sphinx/util/console.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sphinx/util/console.py b/sphinx/util/console.py index f4c80d288..e9d6b3baf 100644 --- a/sphinx/util/console.py +++ b/sphinx/util/console.py @@ -132,9 +132,9 @@ _colors = [ ('lightgray', 'white'), ] -for i, (dark, light) in enumerate(_colors): - codes[dark] = '\x1b[%im' % (i + 30) - codes[light] = '\x1b[%i;01m' % (i + 30) +for i, (dark, light) in enumerate(_colors, 30): + codes[dark] = '\x1b[%im' % i + codes[light] = '\x1b[%im' % (i + 60) _orig_codes = codes.copy() |