config/themes: Convert pygments styles to urwid compatible styles.#1452

Merged

neiljp merged 2 commits intozulip:mainfrom jrijul1201:1434-solving

Jan 8, 2024

+89-3

Commits on Jan 8, 2024

config/themes: Convert pygments styles to urwid compatible styles.

jrijul1201
authored and
neiljp
committed
requirements: Unpin pygments from ~=2.15.1 to >=2.14.0,<2.18.0.

jrijul1201
authored and
neiljp
committed