/* example stylesheet for Docutils */ /* :Author: Günter Milde */ /* :Copyright: © 2012 G. Milde */ /* :License: This stylesheet is placed in the public domain. */ /* Syntax highlight rules for HTML documents generated with Docutils */ /* using the ``--syntax-highlight=long`` option (new in v. 0.9). */ /* This stylesheet implements Pygment's "default" style with less rules than */ /* pygments-default using class hierarchies. */ /* Use it as example for "handcrafted" styles with only few rules. */ .code { background: #f8f8f8; } .code .comment { color: #008800; font-style: italic } .code .error { border: 1px solid #FF0000 } .code .generic.deleted { color: #A00000 } .code .generic.emph { font-style: italic } .code .generic.error { color: #FF0000 } .code .generic.heading { color: #000080; font-weight: bold } .code .generic.inserted { color: #00A000 } .code .generic.output { color: #808080 } .code .generic.prompt { color: #000080; font-weight: bold } .code .generic.strong { font-weight: bold } .code .generic.subheading { color: #800080; font-weight: bold } .code .generic.traceback { color: #0040D0 } .code .keyword { color: #AA22FF; font-weight: bold } .code .keyword.pseudo { font-weight: normal } .code .literal.number { color: #666666 } .code .literal.string { color: #BB4444 } .code .literal.string.doc { color: #BB4444; font-style: italic } .code .literal.string.escape { color: #BB6622; font-weight: bold } .code .literal.string.interpol { color: #BB6688; font-weight: bold } .code .literal.string.other { color: #008000 } .code .literal.string.regex { color: #BB6688 } .code .literal.string.symbol { color: #B8860B } .code .name.attribute { color: #BB4444 } .code .name.builtin { color: #AA22FF } .code .name.class { color: #0000FF } .code .name.constant { color: #880000 } .code .name.decorator { color: #AA22FF } .code .name.entity { color: #999999; font-weight: bold } .code .name.exception { color: #D2413A; font-weight: bold } .code .name.function { color: #00A000 } .code .name.label { color: #A0A000 } .code .name.namespace { color: #0000FF; font-weight: bold } .code .name.tag { color: #008000; font-weight: bold } .code .name.variable { color: #B8860B } .code .operator { color: #666666 } .code .operator.word { color: #AA22FF; font-weight: bold }