docs.python.org の pygments.css

(Pygments, Sphinx) ⇒ docs.python.org の順に出来ていったのだからある意味当然だけれども、Pygments 本体の組み込みスタイルに入ってないのね、docs.python.org のスタイル。

pygments/styles/docs_python_org.py

 1 # -*- coding: utf-8 -*-
 2 """
 3     pygments.styles.docs_python_org
 4     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 5 
 6     A highlighting style for Pygments, almost same as docs.python.org.
 7 
 8     :copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS.
 9     :license: BSD, see LICENSE for details.
10 """
11 
12 from pygments.style import Style
13 from pygments.token import Keyword, Name, Comment, String, Error, \
14      Number, Operator, Generic, Whitespace
15 
16 
17 class DocsPythonOrgStyle(Style):
18     """
19     Style similar to the style used in
20     `docs.python.org <https://docs.python.org>`_.
21     """
22 
23     background_color = "#eeffcc"
24     default_style = ""
25 
26     styles = {
27         Whitespace:           "#bbbbbb",
28         Comment:              "italic #408090",
29         Comment.Preproc:      "noitalic #007020",
30         Comment.Special:      "noitalic bg:#fff0f0 #408090",
31 
32         Keyword:              "bold #007020",
33         Keyword.Pseudo:       "nobold #007020",
34         Keyword.Type:         "nobold #902000",
35 
36         Operator:      "#666666",
37         Operator.Word: "bold #007020",
38 
39         Name.Builtin:            "#007020",
40         Name.Function:           "#06287e",
41         Name.Class:              "bold #0e84b5",
42         Name.Namespace:          "bold #0e84b5",
43         Name.Exception:          "#007020",
44         Name.Variable:           "#bb60d5",
45         Name.Constant:           "#60add5",
46         Name.Label:              "bold #002070",
47         Name.Entity:             "#d55537 bold",
48         Name.Attribute:          "#4070a0",
49         Name.Tag:                "bold #062873",
50         Name.Decorator:          "bold #555555",
51 
52         String:           "#4070a0",
53         String.Doc:       "italic #4070a0",
54         String.Interpol:  "italic #70a0d0",
55         String.Escape:    "bold #4070a0",
56         String.Regex:     "#235388",
57         String.Symbol:    "#517918",
58         String.Other:     "#c65d09",
59         Number:               "#208050",
60 
61         Generic.Heading:    "bold #000080",
62         Generic.Subheading: "bold #800080",
63         Generic.Deleted:    "#A00000",
64         Generic.Inserted:   "#00A000",
65         Generic.Error:      "#FF0000",
66         Generic.Emph:       "italic",
67         Generic.Strong:     "bold",
68         Generic.Prompt:     "bold #c65d09",
69         Generic.Output:     "#333333",
70         Generic.Traceback:  "#0044DD",
71 
72         Error: "border:#FF0000",
73     }

pygments/styles/__init__.py

 1 # -*- coding: utf-8 -*-
 2 """
 3     pygments.styles
 4     ~~~~~~~~~~~~~~~
 5 
 6     Contains built-in styles.
 7 
 8     :copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS.
 9     :license: BSD, see LICENSE for details.
10 """
11 
12 from pygments.plugin import find_plugin_styles
13 from pygments.util import ClassNotFound
14 
15 
16 #: Maps style names to 'submodule::classname'.
17 STYLE_MAP = {
18     'default':  'default::DefaultStyle',
19     # ...(snip)...
20     'docs_python_org': 'docs_python_org::DocsPythonOrgStyle',
21 }
22 # ...(snip)...