fnp
/
redakcja.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Usunięcie niepotrzebnego już pliku platforma/dispatch.wsgi.
[redakcja.git]
/
platforma
/
static
/
css
/
xmlcolors.css
1
.editbox {
2
margin: .4em;
3
padding: 0;
4
font-family: monospace;
5
font-size: 10pt;
6
color: black;
7
}
8
9
.editbox p {
10
margin: 0;
11
}
12
13
span.xml-tagname {
14
color: #A0B;
15
}
16
17
span.xml-attribute {
18
color: #281;
19
}
20
21
span.xml-punctuation {
22
color: black;
23
}
24
25
span.xml-attname {
26
color: #00F;
27
}
28
29
span.xml-comment {
30
color: #A70;
31
}
32
33
span.xml-cdata {
34
color: #48A;
35
}
36
37
span.xml-processing {
38
color: #999;
39
}
40
41
span.xml-entity {
42
color: #A22;
43
}
44
45
span.xml-error {
46
color: #F00;
47
}
48
49
span.xml-text {
50
color: black;
51
}