fnp
/
redakcja.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
fixes #953: Leave users' whitespace alone. I'm serious!
[redakcja.git]
/
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
}