Fixed search. Changes stylesheet name, so changes can propagate faster.

[redakcja.git] / platforma / static / css / xmlcolors.css

diff --git a/platforma/static/css/xmlcolors.css b/platforma/static/css/xmlcolors.css
deleted file mode 100644 (file)
index 1b60259..0000000
--- a/platforma/static/css/xmlcolors.css
+++ /dev/null
@@ -1,62 +0,0 @@
-.editbox {  
-  margin: .4em;
-  margin-top: 5px;
-  margin-left: 45px;
-  padding: 0;
-  
-  font-family:"Lucida Console", monospace;
-  font-size: 13px;
-  line-height: 18px;
-  
-  color: black;
-}
-
-.editbox p {
-  margin: 0;
-}
-
-.editbox span {
-       display: inline;  
-       font-size: 13px;
-    line-height: 18px; 
-}
-
-span.xml-tagname {
-  color: #a31727;
-}
-
-span.xml-attribute {
-  color: #8b8b8b;
-}
-
-span.xml-punctuation {
-  color: black;
-}
-
-span.xml-attname {
-  color: #817aff;
-}
-
-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;
-}