diff options
| author | mensonge <mensonge@b3834d28-1941-0410-a4f8-b48e95affb8f> | 2008-11-14 15:39:19 +0000 |
|---|---|---|
| committer | mensonge <mensonge@b3834d28-1941-0410-a4f8-b48e95affb8f> | 2008-11-14 15:39:19 +0000 |
| commit | 1c5685d68f1b73270fb814fe04cbb490eb90ba5f (patch) | |
| tree | 3d3ada08a934b96fc31531f1327690d7edc6f766 /includes/js/dojox/highlight/resources/pygments/native.css | |
| parent | 104d59099e048688c4dbac37d72137006e396558 (diff) | |
| download | semanticscuttle-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/native.css')
| -rw-r--r-- | includes/js/dojox/highlight/resources/pygments/native.css | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/includes/js/dojox/highlight/resources/pygments/native.css b/includes/js/dojox/highlight/resources/pygments/native.css deleted file mode 100644 index 47c361d..0000000 --- a/includes/js/dojox/highlight/resources/pygments/native.css +++ /dev/null @@ -1,21 +0,0 @@ - -code {background-color: #202020; color: #d0d0d0} -code .comment {color: #999; font-style: italic} -code .comment.preproc {color: #cd2828; font-style: normal; font-weight: bold} -code .comment.special {color: #e50808; font-style: normal; font-weight: bold; background-color: #520000} -code .keyword {color: #6ab825; font-weight: bold} -code .keyword.pseudo {font-weight: normal} -code .operator.word {color: #6ab825; font-weight: bold} -code .name.builtin {color: #24909d} -code .name.function {color: #40ffff} -code .name.class {color: #447fcf; text-decoration: underline} -code .name.namespace {color: #447fcf; text-decoration: underline} -code .name.exception {color: #bbb} -code .name.variable {color: #40ffff} -code .name.constant {color: #40ffff} -code .name.attribute {color: #bbb} -code .name.tag {color: #6ab825; font-weight: bold} -code .name.decorator {color: #ffa500} -code .string {color: #ed9d13} -code .string.other {color: #ffa500} -code .number {color: #3677a9} |