diff -r ace8a08028f3 -r da76c71624de ThirdParty/Pygments/pygments/style.py
--- a/ThirdParty/Pygments/pygments/style.py Sun Feb 17 19:05:40 2013 +0100
+++ b/ThirdParty/Pygments/pygments/style.py Sun Feb 17 19:07:15 2013 +0100
@@ -5,7 +5,7 @@
Basic style object.
- :copyright: Copyright 2006-2012 by the Pygments team, see AUTHORS.
+ :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
"""
@@ -26,7 +26,7 @@
if len(col) == 6:
return col
elif len(col) == 3:
- return col[0]+'0'+col[1]+'0'+col[2]+'0'
+ return col[0]*2 + col[1]*2 + col[2]*2
elif text == '':
return ''
assert False, "wrong color format %r" % text
