aboutsummaryrefslogtreecommitdiff
path: root/includes/js/dojox/highlight/resources/pygments/manni.css
diff options
context:
space:
mode:
authormensonge <mensonge@b3834d28-1941-0410-a4f8-b48e95affb8f>2008-11-14 15:39:19 +0000
committermensonge <mensonge@b3834d28-1941-0410-a4f8-b48e95affb8f>2008-11-14 15:39:19 +0000
commit1c5685d68f1b73270fb814fe04cbb490eb90ba5f (patch)
tree3d3ada08a934b96fc31531f1327690d7edc6f766 /includes/js/dojox/highlight/resources/pygments/manni.css
parent104d59099e048688c4dbac37d72137006e396558 (diff)
downloadsemanticscuttle-1c5685d68f1b73270fb814fe04cbb490eb90ba5f.tar.gz
semanticscuttle-1c5685d68f1b73270fb814fe04cbb490eb90ba5f.tar.bz2
Minor fix: Remove DOJO library (60Mo) replaced by link to Google CDN (online DOJO library)
git-svn-id: https://semanticscuttle.svn.sourceforge.net/svnroot/semanticscuttle/trunk@159 b3834d28-1941-0410-a4f8-b48e95affb8f
Diffstat (limited to 'includes/js/dojox/highlight/resources/pygments/manni.css')
-rw-r--r--includes/js/dojox/highlight/resources/pygments/manni.css30
1 files changed, 0 insertions, 30 deletions
diff --git a/includes/js/dojox/highlight/resources/pygments/manni.css b/includes/js/dojox/highlight/resources/pygments/manni.css
deleted file mode 100644
index 0cbf7e6..0000000
--- a/includes/js/dojox/highlight/resources/pygments/manni.css
+++ /dev/null
@@ -1,30 +0,0 @@
-
-code {background-color: #f0f3f3}
-code .comment {color: #09f; font-style: italic}
-code .comment.preproc {color: #099; font-style: normal}
-code .comment.special {font-weight: bold}
-code .keyword {color: #069; font-weight: bold}
-code .keyword.pseudo {font-weight: normal}
-code .keyword.type {color: #078}
-code .operator {color: #555}
-code .operator.word {color: #000; font-weight: bold}
-code .name.builtin {color: #366}
-code .name.function {color: #c0f}
-code .name.class {color: #0a8; font-weight: bold}
-code .name.namespace {color: #0cf; font-weight: bold}
-code .name.exception {color: #c00; font-weight: bold}
-code .name.variable {color: #033}
-code .name.constant {color: #360}
-code .name.label {color: #99f}
-code .name.entity {color: #999; font-weight: bold}
-code .name.attribute {color: #309}
-code .name.tag {color: #309; font-weight: bold}
-code .name.decorator {color: #99f}
-code .string {color: #c30}
-code .string.doc {font-style: italic}
-code .string.interpol {color: #a00}
-code .string.escape {color: #c30; font-weight: bold}
-code .string.regex {color: #3aa}
-code .string.symbol {color: #fc3}
-code .string.other {color: #c30}
-code .number {color: #f60}