May 6, 2020
11:20 p.m.
Batuhan Taskaya <batuhanosmantaskaya@gmail.com> added the comment:
I tried both a laptop and desktop and slightly prefer unbolded. How about a darker blue?
Sorry but I have no control over styles. They are pre-defined, I only change the token type and pygments handles the rest of it. I dont know if such a color exists. ---------- _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue40517> _______________________________________