Allow ansi color name in Pygments style.
this allow using `#ansigreen`,`#ansired`... as pygments color names, and will be matched to 30-37 to ansi escape sequences
M
Matthias Bussonnier committed
ab62bee2b12a32dbf2517e2152f073ce8dd2eadb
Parent: 114f30c
Committed by Jonathan Slenders <jonathan@slenders.be>
on 2/23/2016, 12:06:51 AM