Source fixes: avoid race and wait a minute after uploading to prevent unnecessary...
[redakcja.git] / src / redakcja / static / css / xmlcolors_20100906.css
1 html {
2   cursor: text;
3 }
4
5 .editbox {
6   margin: .4em;
7   padding: 0;
8   /* fnp changes */
9   margin-top: 5px;
10   margin-left: 5px;
11   font-family: "Lucida Console", monospace;
12   font-size: 13px;
13   line-height: 18px;
14   /* end fnp changes */
15   color: black;
16 }
17
18 .editbox p {
19   margin: 0;
20 }
21
22 span.xml-tagname {
23   color: #A0B;
24 }
25
26 span.xml-attribute {
27   color: #281;
28 }
29
30 span.xml-punctuation {
31   color: black;
32 }
33
34 span.xml-attname {
35   color: #00F;
36 }
37
38 span.xml-comment {
39   color: #A70;
40 }
41
42 span.xml-cdata {
43   color: #48A;
44 }
45
46 span.xml-processing {
47   color: #999;
48 }
49
50 span.xml-entity {
51   color: #A22;
52 }
53
54 span.xml-error {
55  color: #F00 !important;
56   /* fnp changes */
57   font-weight: bolder;
58   /* end fnp changes */
59 }
60
61 span.xml-text {
62   color: black;
63 }