aboutsummaryrefslogtreecommitdiff
path: root/includes/js/dojox/highlight/resources/pygments/pastie.css.commented.css
diff options
context:
space:
mode:
Diffstat (limited to 'includes/js/dojox/highlight/resources/pygments/pastie.css.commented.css')
-rw-r--r--includes/js/dojox/highlight/resources/pygments/pastie.css.commented.css36
1 files changed, 0 insertions, 36 deletions
diff --git a/includes/js/dojox/highlight/resources/pygments/pastie.css.commented.css b/includes/js/dojox/highlight/resources/pygments/pastie.css.commented.css
deleted file mode 100644
index 5b11cae..0000000
--- a/includes/js/dojox/highlight/resources/pygments/pastie.css.commented.css
+++ /dev/null
@@ -1,36 +0,0 @@
-/* Pygments pastie style */
-
-code .comment {color: #888}
-code .comment.preproc {color: #c00; font-weight: bold}
-code .comment.special {color: #c00; font-weight: bold; background-color: #fff0f0}
-
-code .keyword {color: #008800; font-weight: bold}
-code .keyword.pseudo {font-weight: normal}
-code .keyword.type {color: #888}
-
-code .operator.word {color: #080}
-
-code .name.builtin {color: #038}
-code .name.function {color: #06b; font-weight: bold}
-code .name.class {color: #b06; font-weight: bold}
-code .name.namespace {color: #b06; font-weight: bold}
-code .name.exception {color: #b06; font-weight: bold}
-code .name.variable {color: #369}
-code .name.variable.class {color: #369}
-code .name.variable.instance {color: #33b}
-code .name.variable.global {color: #d70}
-code .name.constant {color: #036; font-weight: bold}
-code .name.label {color: #369; font-style: italic}
-code .name.attribute {color: #369}
-code .name.tag {color: #b06; font-weight: bold}
-code .name.decorator {color: #555}
-code .name.property {color: #369; font-weight: bold}
-
-code .string {color: #d20; background-color: #fff0f0}
-code .string.interpol {color: #33b}
-code .string.escape {color: #04d}
-code .string.regex {color: #080; background-color: #fff0f0}
-code .string.symbol {color: #a60}
-code .string.other {color: #2b2; background-color: #f0fff0}
-
-code .number {color: #00d; font-weight: bold}