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/highlight.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/highlight.css')
-rw-r--r-- | includes/js/dojox/highlight/resources/highlight.css | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/includes/js/dojox/highlight/resources/highlight.css b/includes/js/dojox/highlight/resources/highlight.css deleted file mode 100644 index 45a61a3..0000000 --- a/includes/js/dojox/highlight/resources/highlight.css +++ /dev/null @@ -1,51 +0,0 @@ - -.string, -.function .title, -.class .title, -.tag .attribute .value, -.css .rules .value, -.preprocessor, -.ruby .symbol, -.ruby .instancevar, -.ruby .class .parent, -.built_in, -.sql .aggregate, -.django .template_tag, -.django .variable, -.smalltalk .class { - color: #800; -} -.comment, -.java .annotation, -.template_comment { - color: #888; -} -.number, -.regexp, -.javascript .literal, -.smalltalk .symbol, -.smalltalk .char { - color: #080; -} -.javadoc, -.ruby .string, -.python .decorator, -.django .filter .argument, -.smalltalk .localvars, -.smalltalk .array, -.css .attr_selector, -.xml .pi { - color: #88F; -} -.keyword, -.css .id, -.phpdoc, -.function .title, -.class .title, -.vbscript .built_in, -.sql .aggregate, -.rsl .built_in, -.smalltalk .class, -.xml .tag .title { - font-weight: bold; -} |