root / trunk / web / dojo / dojox / highlight / resources / pygments / murphy.css
History | View | Annotate | Download (1.65 KB)
1 |
|
---|---|
2 |
code .comment {color: #666; font-style: italic} |
3 |
code .comment.preproc {color: #579; font-style: normal} |
4 |
code .comment.special {color: #c00; font-weight: bold} |
5 |
code .keyword {color: #289; font-weight: bold} |
6 |
code .keyword.pseudo {color: #08f} |
7 |
code .keyword.type {color: #66f} |
8 |
code .operator {color: #333} |
9 |
code .operator.word {color: #000; font-weight: bold} |
10 |
code .name.builtin {color: #072} |
11 |
code .name.function {color: #5ed; font-weight: bold} |
12 |
code .name.class {color: #e9e; font-weight: bold} |
13 |
code .name.namespace {color: #0e84b5; font-weight: bold} |
14 |
code .name.exception {color: #f00; font-weight: bold} |
15 |
code .name.variable {color: #036} |
16 |
code .name.variable.instance {color: #aaf} |
17 |
code .name.variable.class {color: #ccf} |
18 |
code .name.variable.global {color: #f84} |
19 |
code .name.constant {color: #5ed; font-weight: bold} |
20 |
code .name.label {color: #970; font-weight: bold} |
21 |
code .name.entity {color: #800} |
22 |
code .name.attribute {color: #007} |
23 |
code .name.tag {color: #070} |
24 |
code .name.decorator {color: #555; font-weight: bold} |
25 |
code .string {background-color: #e0e0ff} |
26 |
code .string.char {color: #88f; background-color: transparent} |
27 |
code .string.doc {color: #d42; background-color: transparent} |
28 |
code .string.interpol {background-color: #eee} |
29 |
code .string.escape {color: #666; font-weight: bold} |
30 |
code .string.regex {color: #000; background-color: #e0e0ff} |
31 |
code .string.symbol {color: #fc8; background-color: transparent} |
32 |
code .string.other {color: #f88} |
33 |
code .number {color: #60e; font-weight: bold} |
34 |
code .number.integer {color: #66f; font-weight: bold} |
35 |
code .number.float {color: #60e; font-weight: bold} |
36 |
code .number.hex {color: #058; font-weight: bold} |
37 |
code .number.oct {color: #40e; font-weight: bold} |