7 files changed, 0 insertions, 309 deletions
diff --git a/media/CodeMirror-0.62/css/csscolors.css b/media/CodeMirror-0.62/css/csscolors.css
deleted file mode 100644
index 100c93f..0000000
--- a/media/CodeMirror-0.62/css/csscolors.css
+++ /dev/null
@@ -1,47 +0,0 @@
-.editbox {
-  margin: .4em;
-  padding: 0;
-  font-family: monospace;
-  font-size: 10pt;
-  color: black;
-}
-
-pre.code, .editbox {
-  color: #666666;
-}
-
-.editbox p {
-  margin: 0;
-}
-
-span.css-at {
-  color: #770088;
-}
-
-span.css-unit {
-  color: #228811;
-}
-
-span.css-value {
-  color: #770088;
-}
-
-span.css-identifier {
-  color: black;
-}
-
-span.css-important {
-  color: #0000FF;
-}
-
-span.css-colorcode {
-  color: #004499;
-}
-
-span.css-comment {
-  color: #AA7700;
-}
-
-span.css-string {
-  color: #AA2222;
-}
diff --git a/media/CodeMirror-0.62/css/docs.css b/media/CodeMirror-0.62/css/docs.css
deleted file mode 100644
index c86b7d7..0000000
--- a/media/CodeMirror-0.62/css/docs.css
+++ /dev/null
@@ -1,46 +0,0 @@
-body {
-  margin: 0;
-  padding: 3em 6em;
-  color: black;
-  max-width: 50em;
-}
-
-h1 {
-  font-size: 22pt;
-}
-
-.underline {
-  border-bottom: 3px solid #C44;
-}
-
-h2 {
-  font-size: 14pt;
-}
-
-p.rel {
-  padding-left: 2em;
-  text-indent: -2em;
-}
-
-div.border {
-  border: 1px solid black;
-  padding: 3px;
-}
-
-code {
-  font-family: courier, monospace;
-  font-size: 90%;
-  color: #144;
-}
-
-pre.code {
-  margin: 1.1em 12px;
-  border: 1px solid #CCCCCC;
-  color: black;
-  padding: .4em;
-  font-family: courier, monospace;
-}
-
-.warn {
-  color: #C00;
-}
diff --git a/media/CodeMirror-0.62/css/jscolors.css b/media/CodeMirror-0.62/css/jscolors.css
deleted file mode 100644
index 3067628..0000000
--- a/media/CodeMirror-0.62/css/jscolors.css
+++ /dev/null
@@ -1,55 +0,0 @@
-.editbox {
-  margin: .4em;
-  padding: 0;
-  font-family: monospace;
-  font-size: 10pt;
-  color: black;
-}
-
-pre.code, .editbox {
-  color: #666666;
-}
-
-.editbox p {
-  margin: 0;
-}
-
-span.js-punctuation {
-  color: #666666;
-}
-
-span.js-operator {
-  color: #666666;
-}
-
-span.js-keyword {
-  color: #770088;
-}
-
-span.js-atom {
-  color: #228811;
-}
-
-span.js-variable {
-  color: black;
-}
-
-span.js-variabledef {
-  color: #0000FF;
-}
-
-span.js-localvariable {
-  color: #004499;
-}
-
-span.js-property {
-  color: black;
-}
-
-span.js-comment {
-  color: #AA7700;
-}
-
-span.js-string {
-  color: #AA2222;
-}
diff --git a/media/CodeMirror-0.62/css/people.jpg b/media/CodeMirror-0.62/css/people.jpg
deleted file mode 100644
index 7347895..0000000
--- a/media/CodeMirror-0.62/css/people.jpg
+++ /dev/null
diff --git a/media/CodeMirror-0.62/css/sparqlcolors.css b/media/CodeMirror-0.62/css/sparqlcolors.css
deleted file mode 100644
index 78d8ae0..0000000
--- a/media/CodeMirror-0.62/css/sparqlcolors.css
+++ /dev/null
@@ -1,39 +0,0 @@
-.editbox {
-  margin: .4em;
-  padding: 0;
-  font-family: monospace;
-  font-size: 10pt;
-  color: black;
-}
-
-.editbox p {
-  margin: 0;
-}
-
-span.sp-keyword {
-  color: #708;
-}
-
-span.sp-prefixed {
-  color: #5d1;
-}
-
-span.sp-var {
-  color: #00c;
-}
-
-span.sp-comment {
-  color: #a70;
-}
-
-span.sp-literal {
-  color: #a22;
-}
-
-span.sp-uri {
-  color: #292;
-}
-
-span.sp-operator {
-  color: #088;
-}
diff --git a/media/CodeMirror-0.62/css/survexcolors.css b/media/CodeMirror-0.62/css/survexcolors.css
deleted file mode 100644
index d54a198..0000000
--- a/media/CodeMirror-0.62/css/survexcolors.css
+++ /dev/null
@@ -1,71 +0,0 @@
-.editbox {
-  margin: .4em;
-  padding: 0;
-  font-family: monospace;
-  font-size: 10pt;
-  color: black;
-}
-
-
-pre.code, .editbox {
-  color: #666666;
-}
-
-.editbox p {
-  margin: 0;
-}
-
-span.svx-command {
-  color: red;
-}
-span.svx-begin, span.svx-end {
-  color: #990000;
-}
-span.svx-comment {
-  color: blue;
-}
-span.svx-measure {
-  color: green;
-}
-span.svx-station {
-  color: #009900;
-}
-span.svx-string {
-  color: blue;
-}
-span.svx-word {
-  color: black;
-}
-
-
-span.css-at {
-  color: #770088;
-}
-
-span.css-unit {
-  color: #228811;
-}
-
-span.css-value {
-  color: #770088;
-}
-
-span.css-identifier {
-  color: black;
-}
-
-span.css-important {
-  color: #0000FF;
-}
-
-span.css-colorcode {
-  color: #004499;
-}
-
-span.css-comment {
-  color: #AA7700;
-}
-
-span.css-string {
-  color: #AA2222;
-}
diff --git a/media/CodeMirror-0.62/css/xmlcolors.css b/media/CodeMirror-0.62/css/xmlcolors.css
deleted file mode 100644
index aa26579..0000000
--- a/media/CodeMirror-0.62/css/xmlcolors.css
+++ /dev/null
@@ -1,51 +0,0 @@
-.editbox {
-  margin: .4em;
-  padding: 0;
-  font-family: monospace;
-  font-size: 10pt;
-  color: black;
-}
-
-.editbox p {
-  margin: 0;
-}
-
-span.xml-tagname {
-  color: #A0B;
-}
-
-span.xml-attribute {
-  color: #281;
-}
-
-span.xml-punctuation {
-  color: black;
-}
-
-span.xml-attname {
-  color: #00F;
-}
-
-span.xml-comment {
-  color: #A70;
-}
-
-span.xml-cdata {
-  color: #48A;
-}
-
-span.xml-processing {
-  color: #999;
-}
-
-span.xml-entity {
-  color: #A22;
-}
-
-span.xml-error {
-  color: #F00;
-}
-
-span.xml-text {
-  color: black;
-}