ThirdParty/Pygments/pygments/styles/manni.py

changeset 4697
c2e9bf425554
parent 4172
4f20dba37ab6
child 5713
6762afd9f963
equal deleted inserted replaced
4696:bf4d19a7cade 4697:c2e9bf425554
6 A colorful style, inspired by the terminal highlighting style. 6 A colorful style, inspired by the terminal highlighting style.
7 7
8 This is a port of the style used in the `php port`_ of pygments 8 This is a port of the style used in the `php port`_ of pygments
9 by Manni. The style is called 'default' there. 9 by Manni. The style is called 'default' there.
10 10
11 :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS. 11 :copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS.
12 :license: BSD, see LICENSE for details. 12 :license: BSD, see LICENSE for details.
13 """ 13 """
14 14
15 from pygments.style import Style 15 from pygments.style import Style
16 from pygments.token import Keyword, Name, Comment, String, Error, \ 16 from pygments.token import Keyword, Name, Comment, String, Error, \

eric ide

mercurial