annotate templates/static/style-paper.css @ 0:dfc36e7ed22c

init
author Vadim Filimonov <fffilimonov@yandex.ru>
date Thu, 12 May 2022 13:51:59 +0400
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
1 body {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
2 margin: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
3 padding: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
4 background: white;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
5 color: black;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
6 font-family: sans-serif;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
7 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
8
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
9 .container {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
10 padding-left: 115px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
11 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
12
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
13 .main {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
14 position: relative;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
15 background: white;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
16 padding: 2em 2em 2em 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
17 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
18
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
19 #.main {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
20 width: 98%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
21 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
22
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
23 .overflow {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
24 width: 100%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
25 overflow: auto;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
26 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
27
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
28 .menu {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
29 width: 90px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
30 margin: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
31 font-size: 80%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
32 text-align: left;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
33 position: absolute;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
34 top: 20px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
35 left: 20px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
36 right: auto;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
37 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
38
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
39 .menu ul {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
40 list-style: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
41 padding: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
42 margin: 10px 0 0 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
43 border-left: 2px solid #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
44 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
45
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
46 .menu li {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
47 margin-bottom: 3px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
48 padding: 2px 4px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
49 background: white;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
50 color: black;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
51 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
52 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
53
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
54 .menu li.active {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
55 font-weight: bold;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
56 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
57
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
58 .menu img {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
59 width: 75px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
60 height: 90px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
61 border: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
62 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
63
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
64 div.atom-logo {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
65 margin-top: 10px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
66 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
67
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
68 .atom-logo img{
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
69 width: 14px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
70 height: 14px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
71 border: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
72 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
73
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
74 .menu a { color: black; display: block; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
75
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
76 .search {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
77 position: absolute;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
78 top: .7em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
79 right: 2em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
80 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
81
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
82 form.search div#hint {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
83 display: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
84 position: absolute;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
85 top: 40px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
86 right: 0px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
87 width: 190px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
88 padding: 5px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
89 background: #ffc;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
90 font-size: 70%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
91 border: 1px solid yellow;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
92 border-radius: 5px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
93 z-index: 15;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
94 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
95
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
96 form.search:hover div#hint { display: block; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
97
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
98 a { text-decoration:none; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
99 .age { white-space:nowrap; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
100 .date { white-space:nowrap; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
101 .indexlinks { white-space:nowrap; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
102 .parity0,
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
103 .stripes4 > :nth-child(4n+1),
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
104 .stripes2 > :nth-child(2n+1) { background-color: #f0f0f0; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
105 .parity1,
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
106 .stripes4 > :nth-child(4n+3),
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
107 .stripes2 > :nth-child(2n+2) { background-color: white; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
108 .plusline { color: green; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
109 .minusline { color: #dc143c; } /* crimson */
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
110 .atline { color: purple; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
111
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
112 .diffstat-table {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
113 margin-top: 1em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
114 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
115 .diffstat-file {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
116 white-space: nowrap;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
117 font-size: 90%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
118 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
119 .diffstat-total {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
120 white-space: nowrap;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
121 font-size: 90%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
122 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
123 .diffstat-graph {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
124 width: 100%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
125 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
126 .diffstat-add {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
127 background-color: green;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
128 float: left;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
129 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
130 .diffstat-remove {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
131 background-color: red;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
132 float: left;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
133 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
134
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
135 .navigate {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
136 text-align: right;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
137 font-size: 60%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
138 margin: 1em 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
139 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
140
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
141 .phase {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
142 color: #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
143 font-size: 70%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
144 border-bottom: 1px dotted #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
145 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
146 margin-left: .5em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
147 vertical-align: baseline;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
148 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
149
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
150 .obsolete {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
151 color: #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
152 font-size: 70%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
153 border-bottom: 1px dashed #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
154 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
155 margin-left: .5em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
156 vertical-align: baseline;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
157 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
158
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
159 .instability {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
160 color: #000;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
161 font-size: 70%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
162 border-bottom: 1px solid #000;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
163 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
164 margin-left: .5em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
165 vertical-align: baseline;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
166 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
167
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
168 .tag {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
169 color: #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
170 font-size: 70%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
171 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
172 margin-left: .5em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
173 vertical-align: baseline;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
174 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
175
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
176 .branchhead {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
177 color: #000;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
178 font-size: 80%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
179 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
180 margin-left: .5em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
181 vertical-align: baseline;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
182 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
183
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
184 ul#graphnodes .branchhead {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
185 font-size: 75%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
186 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
187
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
188 .branchname {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
189 color: #000;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
190 font-size: 60%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
191 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
192 margin-left: .5em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
193 vertical-align: baseline;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
194 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
195
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
196 /* Common */
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
197 pre { margin: 0; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
198
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
199 h2 { font-size: 120%; border-bottom: 1px solid #999; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
200 h2 a { color: #000; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
201 h3 {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
202 margin-top: +.7em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
203 font-size: 100%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
204 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
205
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
206 /* log and tags tables */
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
207 .bigtable {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
208 border-bottom: 1px solid #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
209 border-collapse: collapse;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
210 font-size: 90%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
211 width: 100%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
212 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
213 text-align: left;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
214 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
215
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
216 .bigtable td {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
217 padding: 1px 4px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
218 vertical-align: top;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
219 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
220
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
221 .bigtable th {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
222 padding: 1px 4px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
223 border-bottom: 1px solid #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
224 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
225 .bigtable tr { border: none; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
226 .bigtable .age { width: 7em; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
227 .bigtable .author { width: 15em; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
228 .bigtable .commit { width: 7em; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
229 .bigtable .description { }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
230 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
231 .bigtable .node { width: 5em; font-family: monospace;}
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
232 .bigtable .permissions { width: 8em; text-align: left;}
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
233 .bigtable .size { width: 5em; text-align: right; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
234 .bigtable .annotate { text-align: right; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
235 .bigtable td.annotate { font-size: smaller; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
236 .bigtable td.source { font-size: inherit; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
237 tr.thisrev a { color:#999999; text-decoration: none; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
238 tr.thisrev td.source { color:#009900; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
239 td.annotate {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
240 white-space: nowrap;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
241 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
242 div.annotate-info {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
243 z-index: 5;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
244 display: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
245 position: absolute;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
246 background-color: #FFFFFF;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
247 border: 1px solid #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
248 text-align: left;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
249 color: #000000;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
250 padding: 5px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
251 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
252 div.annotate-info a { color: #0000FF; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
253 td.annotate:hover div.annotate-info { display: inline; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
254
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
255 #diffopts-form {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
256 font-size: smaller;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
257 color: #424242;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
258 padding-bottom: 10px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
259 display: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
260 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
261
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
262 .source, .sourcefirst {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
263 font-family: monospace;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
264 white-space: pre;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
265 padding: 1px 4px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
266 font-size: 90%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
267 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
268 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
269 .source a { color: #999; font-size: smaller; font-family: monospace;}
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
270 .bottomline { border-bottom: 1px solid #999; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
271
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
272 .sourcelines {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
273 font-size: 90%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
274 position: relative;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
275 counter-reset: lineno;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
276 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
277
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
278 .wrap > span {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
279 white-space: pre-wrap;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
280 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
281
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
282 .linewraptoggle {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
283 float: right;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
284 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
285
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
286 .diffblocks { counter-reset: lineno; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
287 .diffblocks > div { counter-increment: lineno; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
288
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
289 .sourcelines > span {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
290 display: inline-block;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
291 box-sizing: border-box;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
292 width: 100%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
293 padding: 1px 0px 1px 5em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
294 counter-increment: lineno;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
295 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
296
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
297 .sourcelines > span:before {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
298 -moz-user-select: -moz-none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
299 -khtml-user-select: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
300 -webkit-user-select: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
301 -ms-user-select: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
302 user-select: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
303 display: inline-block;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
304 margin-left: -6em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
305 width: 4em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
306 font-size: smaller;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
307 color: #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
308 text-align: right;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
309 content: counters(lineno, ".");
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
310 float: left;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
311 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
312
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
313 .sourcelines > span:after {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
314 content: '';
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
315 display: inline-block;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
316 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
317
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
318 .sourcelines > span:target, tr:target td {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
319 background-color: #bfdfff;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
320 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
321
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
322 /* Followlines */
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
323 tbody.sourcelines > tr.followlines-selected,
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
324 pre.sourcelines > span.followlines-selected {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
325 background-color: #99C7E9;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
326 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
327
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
328 div#followlines {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
329 background-color: #FFF;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
330 border: 1px solid #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
331 padding: 5px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
332 position: fixed;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
333 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
334
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
335 div.followlines-cancel {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
336 text-align: right;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
337 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
338
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
339 div.followlines-cancel > button {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
340 line-height: 80%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
341 padding: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
342 border: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
343 border-radius: 2px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
344 background-color: inherit;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
345 font-weight: bold;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
346 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
347
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
348 div.followlines-cancel > button:hover {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
349 color: #FFFFFF;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
350 background-color: #CF1F1F;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
351 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
352
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
353 div.followlines-link {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
354 margin: 2px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
355 margin-top: 4px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
356 font-family: sans-serif;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
357 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
358
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
359 .btn-followlines {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
360 position: absolute;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
361 display: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
362 cursor: pointer;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
363 box-sizing: content-box;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
364 font-size: 12px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
365 width: 13px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
366 height: 13px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
367 border-radius: 3px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
368 margin: 0px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
369 margin-top: -2px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
370 padding: 0px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
371 background-color: #E5FDE5;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
372 border: 1px solid #9BC19B;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
373 font-family: monospace;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
374 text-align: center;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
375 line-height: 5px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
376 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
377
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
378 span.followlines-select .btn-followlines {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
379 margin-left: -1.5em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
380 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
381
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
382 .btn-followlines:hover {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
383 transform: scale(1.2, 1.2);
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
384 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
385
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
386 .btn-followlines .followlines-plus {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
387 color: green;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
388 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
389
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
390 .btn-followlines .followlines-minus {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
391 color: red;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
392 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
393
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
394 .btn-followlines-end {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
395 background-color: #ffdcdc;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
396 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
397
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
398 .sourcelines tr:hover .btn-followlines,
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
399 .sourcelines span.followlines-select:hover > .btn-followlines {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
400 display: inline;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
401 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
402
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
403 .btn-followlines-hidden,
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
404 .sourcelines tr:hover .btn-followlines-hidden {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
405 display: none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
406 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
407
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
408 .sourcelines > a {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
409 display: inline-block;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
410 position: absolute;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
411 left: 0px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
412 width: 4em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
413 height: 1em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
414 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
415
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
416 .fileline { font-family: monospace; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
417 .fileline img { border: 0; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
418
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
419 .tagEntry .closed { color: #99f; }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
420
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
421 /* Changeset entry */
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
422 #changesetEntry {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
423 border-collapse: collapse;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
424 font-size: 90%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
425 width: 100%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
426 margin-bottom: 1em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
427 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
428
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
429 #changesetEntry th {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
430 padding: 1px 4px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
431 width: 4em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
432 text-align: right;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
433 font-weight: normal;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
434 color: #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
435 vertical-align: top;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
436 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
437
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
438 div.description {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
439 border-left: 2px solid #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
440 margin: 1em 0 1em 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
441 padding: .3em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
442 white-space: pre;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
443 font-family: monospace;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
444 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
445
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
446 /* Graph */
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
447 div#wrapper {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
448 position: relative;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
449 border-top: 1px solid black;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
450 border-bottom: 1px solid black;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
451 margin: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
452 padding: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
453 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
454
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
455 canvas {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
456 position: absolute;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
457 z-index: 5;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
458 top: -0.7em;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
459 margin: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
460 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
461
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
462 ul#graphnodes {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
463 list-style: none inside none;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
464 padding: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
465 margin: 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
466 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
467
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
468 ul#graphnodes li {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
469 height: 39px;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
470 overflow: visible;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
471 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
472
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
473 ul#graphnodes li .fg {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
474 position: absolute;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
475 z-index: 10;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
476 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
477
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
478 ul#graphnodes li .info {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
479 font-size: 70%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
480 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
481
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
482 /* Comparison */
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
483 .legend {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
484 padding: 1.5% 0 1.5% 0;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
485 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
486
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
487 .legendinfo {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
488 border: 1px solid #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
489 font-size: 80%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
490 text-align: center;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
491 padding: 0.5%;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
492 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
493
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
494 .equal {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
495 background-color: #ffffff;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
496 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
497
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
498 .delete {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
499 background-color: #faa;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
500 color: #333;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
501 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
502
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
503 .insert {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
504 background-color: #ffa;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
505 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
506
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
507 .replace {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
508 background-color: #e8e8e8;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
509 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
510
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
511 .header {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
512 text-align: center;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
513 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
514
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
515 .block {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
516 border-top: 1px solid #999;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
517 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
518
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
519 .breadcrumb {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
520 color: gray;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
521 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
522
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
523 .breadcrumb a {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
524 color: blue;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
525 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
526
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
527 .scroll-loading {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
528 -webkit-animation: change_color 1s linear 0s infinite alternate;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
529 -moz-animation: change_color 1s linear 0s infinite alternate;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
530 -o-animation: change_color 1s linear 0s infinite alternate;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
531 animation: change_color 1s linear 0s infinite alternate;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
532 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
533
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
534 @-webkit-keyframes change_color {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
535 from { background-color: #A0CEFF; } to { }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
536 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
537 @-moz-keyframes change_color {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
538 from { background-color: #A0CEFF; } to { }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
539 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
540 @-o-keyframes change_color {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
541 from { background-color: #A0CEFF; } to { }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
542 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
543 @keyframes change_color {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
544 from { background-color: #A0CEFF; } to { }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
545 }
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
546
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
547 .scroll-loading-error {
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
548 background-color: #FFCCCC !important;
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
549 }