-
Notifications
You must be signed in to change notification settings - Fork 0
/
xpathle.css
102 lines (100 loc) · 2.36 KB
/
xpathle.css
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
div#code {
width: 80vw;
height: 70vh;
overflow: scroll;
white-space: pre;
margin-top: 2em;
border: 3px solid #eee;
scrollbar-width: auto;
font-family: Consolas, monospace;
}
#footer { font-size: smaller; margin-top: 3em; }
.name.elt { color: #55e; }
.name.att { color: #e95; }
.namespace.att { color: #9af; }
.val.att { color: #a66; }
.comment { color: #474; }
.pi { color: #a6a; }
.unselectable { color: #aaa !important; }
.distance0 { background-color: #60e060; }
.distance1 { background-color: #ebe850; }
.distance2 { background-color: #e8cd58; }
.distance3 { background-color: #f0c454; }
.distance4 { background-color: #fab650; }
.distance5 { background-color: #fda040; }
.distance6 { background-color: #ff9040; }
.distance7 { background-color: #ff8038; }
.distance8 { background-color: #fb7038; }
.distance9 { background-color: #f86838; }
.distance10 { background-color: #f06038; }
.distanceFar { background-color: #f05839; }
td.distanceFar { color: white; font-weight: bold; }
.d0 { color: #60e060; }
.d1 { color: #ebe850; }
.d2 { color: #e8cd58; }
.d3 { color: #f0c454; }
.d4 { color: #fab650; }
.d5 { color: #fda040; }
.d6 { color: #ff9040; }
.d7 { color: #ff8038; }
.d8 { color: #fb7038; }
.d9 { color: #f86838; }
.d10 { color: #f06038; }
.dFar { color: #f05839; }
.error { color: #700; border: 2px solid red; padding: 0.2em; }
.warning { color: #700; border: 2px solid #dd0; padding: 0.2em; }
.grey { background-color: #eee; }
.white { background-color: white; }
h3 + ul { margin-top: 0; }
th { text-align: left; font-weight: normal; }
td { font-weight: bold; }
body {
font-family: sans-serif;
margin-left:2em;
font-size:1em;
}
code { background-color: #eee; }
#config { display: none; }
#share {
background-color: #60d060;
font-size: 115%;
padding: 0.5em;
font-weight: bold;
color: white;
border: none;
}
#distance_diagram {
max-width: 50em;
}
#previous {
display: none;
}
*:target {
background-color: #eed;
}
#computing {
display:none;
color: #652;
}
#archive > details > summary {
margin-top: 0.9em;
}
#archive > details {
margin-left: 1em;
}
#archive > details > p {
margin-left: 0.8em;
}
summary {
cursor: pointer;
}
summary > * {
display: inline;
}
.date {
display: inline-block;
min-width: 8em;
}
#archive * {
color: #555;
}