1 8a35f56c 2022-07-16 thomas /*
  2 8a35f56c 2022-07-16 thomas  * Copyright (c) 2019 Jerome Kasper <neon.king.fr@gmail.com>
  3 8a35f56c 2022-07-16 thomas  * Copyright (c) 2019, 2020 Tracey Emery <tracey@traceyemery.net>
  4 8a35f56c 2022-07-16 thomas  *
  5 8a35f56c 2022-07-16 thomas  * Permission to use, copy, modify, and distribute this software for any
  6 8a35f56c 2022-07-16 thomas  * purpose with or without fee is hereby granted, provided that the above
  7 8a35f56c 2022-07-16 thomas  * copyright notice and this permission notice appear in all copies.
  8 8a35f56c 2022-07-16 thomas  *
  9 8a35f56c 2022-07-16 thomas  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 10 8a35f56c 2022-07-16 thomas  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 11 8a35f56c 2022-07-16 thomas  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 12 8a35f56c 2022-07-16 thomas  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 13 8a35f56c 2022-07-16 thomas  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 14 8a35f56c 2022-07-16 thomas  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 15 8a35f56c 2022-07-16 thomas  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 16 8a35f56c 2022-07-16 thomas  */
 17 8a35f56c 2022-07-16 thomas 
 18 8a35f56c 2022-07-16 thomas /* general sections */
 19 8a35f56c 2022-07-16 thomas 
 20 8a35f56c 2022-07-16 thomas a {
 21 8a35f56c 2022-07-16 thomas 	color: #444444;
 22 8a35f56c 2022-07-16 thomas 	text-decoration: none;
 23 8a35f56c 2022-07-16 thomas }
 24 8a35f56c 2022-07-16 thomas a:hover {
 25 8a35f56c 2022-07-16 thomas 	color: Gold;
 26 8a35f56c 2022-07-16 thomas 	text-decoration: none;
 27 8a35f56c 2022-07-16 thomas }
 28 8a35f56c 2022-07-16 thomas body {
 29 8a35f56c 2022-07-16 thomas 	background-color: #ffffff;
 30 8a35f56c 2022-07-16 thomas 	color: #000000;
 31 8a35f56c 2022-07-16 thomas 	margin: 0;
 32 8a35f56c 2022-07-16 thomas 	padding: 0;
 33 8a35f56c 2022-07-16 thomas 	font-family: Arial, sans-serif;
 34 8a35f56c 2022-07-16 thomas }
 35 8a35f56c 2022-07-16 thomas 
 36 8a35f56c 2022-07-16 thomas .diff_minus, .diff_submodule {
 37 8a35f56c 2022-07-16 thomas 	color: magenta;
 38 8a35f56c 2022-07-16 thomas }
 39 8a35f56c 2022-07-16 thomas .diff_plus, .diff_symlink, .diff_author {
 40 8a35f56c 2022-07-16 thomas 	color: darkcyan;
 41 8a35f56c 2022-07-16 thomas }
 42 8a35f56c 2022-07-16 thomas .diff_chunk_header, .diff_date {
 43 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
 44 8a35f56c 2022-07-16 thomas 	color: yellow;
 45 8a35f56c 2022-07-16 thomas }
 46 8a35f56c 2022-07-16 thomas .diff_meta, .diff_executable, .diff_commit {
 47 8a35f56c 2022-07-16 thomas 	color: green;
 48 8a35f56c 2022-07-16 thomas }
 49 8a35f56c 2022-07-16 thomas .diff_directory {
 50 8a35f56c 2022-07-16 thomas 	color: blue;
 51 8a35f56c 2022-07-16 thomas }
 52 8a35f56c 2022-07-16 thomas 
 53 8a35f56c 2022-07-16 thomas #logo {
 54 8a35f56c 2022-07-16 thomas 	height: 50px;
 55 8a35f56c 2022-07-16 thomas }
 56 9e0c279a 2022-08-10 thomas .refs_str {
 57 8a35f56c 2022-07-16 thomas 	background-color: #243647;
 58 8a35f56c 2022-07-16 thomas 	color: #ffffff;
 59 8a35f56c 2022-07-16 thomas 	font-style: italic;
 60 8a35f56c 2022-07-16 thomas }
 61 9e0c279a 2022-08-10 thomas .dotted_line {
 62 8a35f56c 2022-07-16 thomas 	clear: left;
 63 8a35f56c 2022-07-16 thomas 	float: left;
 64 8a35f56c 2022-07-16 thomas 	width: 100%;
 65 8a35f56c 2022-07-16 thomas 	border-top: 1px dotted #444444;
 66 8a35f56c 2022-07-16 thomas }
 67 8a35f56c 2022-07-16 thomas #header {
 68 8a35f56c 2022-07-16 thomas 	overflow: auto;
 69 8a35f56c 2022-07-16 thomas 	width: 100%;
 70 8a35f56c 2022-07-16 thomas 	background-image: linear-gradient(to right, White, LightSlateGray);
 71 8a35f56c 2022-07-16 thomas }
 72 8a35f56c 2022-07-16 thomas #header a {
 73 8a35f56c 2022-07-16 thomas 	color: #ffffff;
 74 8a35f56c 2022-07-16 thomas 	font-size: 1.2em;
 75 8a35f56c 2022-07-16 thomas 	text-decoration: none;
 76 8a35f56c 2022-07-16 thomas }
 77 8a35f56c 2022-07-16 thomas #header a:hover {
 78 8a35f56c 2022-07-16 thomas 	color: Gold;
 79 8a35f56c 2022-07-16 thomas 	font-size: 1.2em;
 80 8a35f56c 2022-07-16 thomas 	text-decoration: none;
 81 8a35f56c 2022-07-16 thomas }
 82 8a35f56c 2022-07-16 thomas #site_path {
 83 8a35f56c 2022-07-16 thomas 	clear: left;
 84 8a35f56c 2022-07-16 thomas 	float: left;
 85 8a35f56c 2022-07-16 thomas 	overflow: auto;
 86 8a35f56c 2022-07-16 thomas 	width: 100%;
 87 8a35f56c 2022-07-16 thomas 	background-color: #243647;
 88 8a35f56c 2022-07-16 thomas }
 89 8a35f56c 2022-07-16 thomas #site_link {
 90 8a35f56c 2022-07-16 thomas 	float: left;
 91 8a35f56c 2022-07-16 thomas 	width: 40%;
 92 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
 93 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
 94 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
 95 8a35f56c 2022-07-16 thomas 	color: #ffffff;
 96 8a35f56c 2022-07-16 thomas 	overflow: hidden;
 97 8a35f56c 2022-07-16 thomas }
 98 8a35f56c 2022-07-16 thomas #site_link a {
 99 8a35f56c 2022-07-16 thomas 	color: #ffffff;
100 8a35f56c 2022-07-16 thomas 	text-decoration: none;
101 8a35f56c 2022-07-16 thomas }
102 8a35f56c 2022-07-16 thomas #got_link {
103 8a35f56c 2022-07-16 thomas 	float: left;
104 8a35f56c 2022-07-16 thomas 	padding-bottom: 10px;
105 8a35f56c 2022-07-16 thomas 	padding-top: 10px;
106 8a35f56c 2022-07-16 thomas }
107 8a35f56c 2022-07-16 thomas #content {
108 8a35f56c 2022-07-16 thomas 	width: 100%;
109 af0d6ce1 2023-01-06 thomas 	float: left;
110 af0d6ce1 2023-01-06 thomas 	clear: both;
111 8a35f56c 2022-07-16 thomas }
112 8a35f56c 2022-07-16 thomas #np_wrapper {
113 8a35f56c 2022-07-16 thomas 	clear: left;
114 8a35f56c 2022-07-16 thomas 	float: left;
115 8a35f56c 2022-07-16 thomas 	width: 100%;
116 8a35f56c 2022-07-16 thomas 	border-bottom: 1px dotted #444444;
117 8a35f56c 2022-07-16 thomas 	background-color: #f5fcfb;
118 8a35f56c 2022-07-16 thomas 	overflow: hidden;
119 20bab626 2023-02-03 thomas }
120 20bab626 2023-02-03 thomas #nav_more {
121 20bab626 2023-02-03 thomas 	padding: 5px 0;
122 20bab626 2023-02-03 thomas 	text-align: center;
123 8a35f56c 2022-07-16 thomas }
124 8a35f56c 2022-07-16 thomas #nav_prev {
125 8a35f56c 2022-07-16 thomas 	float: left;
126 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
127 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
128 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
129 8a35f56c 2022-07-16 thomas 	overflow: visible;
130 8a35f56c 2022-07-16 thomas }
131 8a35f56c 2022-07-16 thomas #nav_next {
132 8a35f56c 2022-07-16 thomas 	padding-right: 10px;
133 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
134 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
135 8a35f56c 2022-07-16 thomas 	text-align: right;
136 8a35f56c 2022-07-16 thomas 	overflow: hidden;
137 8a35f56c 2022-07-16 thomas }
138 9e0c279a 2022-08-10 thomas .navs_wrapper {
139 8a35f56c 2022-07-16 thomas 	clear: left;
140 8a35f56c 2022-07-16 thomas 	float: left;
141 8a35f56c 2022-07-16 thomas 	width: 100%;
142 8a35f56c 2022-07-16 thomas 	background-color: #ced7e0;
143 8a35f56c 2022-07-16 thomas }
144 9e0c279a 2022-08-10 thomas .navs {
145 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
146 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
147 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
148 8a35f56c 2022-07-16 thomas 	font-size: .8em;
149 8a35f56c 2022-07-16 thomas }
150 8a35f56c 2022-07-16 thomas #site_owner_wrapper {
151 8a35f56c 2022-07-16 thomas 	clear: left;
152 8a35f56c 2022-07-16 thomas 	float: left;
153 8a35f56c 2022-07-16 thomas 	width: 100%;
154 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
155 8a35f56c 2022-07-16 thomas 	color: #ffffff;
156 8a35f56c 2022-07-16 thomas }
157 8a35f56c 2022-07-16 thomas #site_owner {
158 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
159 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
160 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
161 8a35f56c 2022-07-16 thomas }
162 8a35f56c 2022-07-16 thomas #description_title {
163 8a35f56c 2022-07-16 thomas 	clear: left;
164 8a35f56c 2022-07-16 thomas 	float: left;
165 8a35f56c 2022-07-16 thomas 	width: 6.5em;
166 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
167 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
168 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
169 8a35f56c 2022-07-16 thomas }
170 8a35f56c 2022-07-16 thomas #description {
171 8a35f56c 2022-07-16 thomas 	float: left;
172 8a35f56c 2022-07-16 thomas 	width: 72%;
173 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
174 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
175 8a35f56c 2022-07-16 thomas }
176 8a35f56c 2022-07-16 thomas #repo_owner_title {
177 8a35f56c 2022-07-16 thomas 	clear: left;
178 8a35f56c 2022-07-16 thomas 	float: left;
179 8a35f56c 2022-07-16 thomas 	width: 6.5em;
180 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
181 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
182 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
183 8a35f56c 2022-07-16 thomas }
184 8a35f56c 2022-07-16 thomas #repo_owner {
185 8a35f56c 2022-07-16 thomas 	float: left;
186 8a35f56c 2022-07-16 thomas 	width: 72%;
187 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
188 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
189 8a35f56c 2022-07-16 thomas }
190 8a35f56c 2022-07-16 thomas #last_change_title {
191 8a35f56c 2022-07-16 thomas 	clear: left;
192 8a35f56c 2022-07-16 thomas 	float: left;
193 8a35f56c 2022-07-16 thomas 	width: 6.5em;
194 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
195 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
196 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
197 8a35f56c 2022-07-16 thomas }
198 8a35f56c 2022-07-16 thomas #last_change {
199 8a35f56c 2022-07-16 thomas 	float: left;
200 8a35f56c 2022-07-16 thomas 	width: 72%;
201 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
202 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
203 8a35f56c 2022-07-16 thomas }
204 8a35f56c 2022-07-16 thomas #cloneurl_title {
205 8a35f56c 2022-07-16 thomas 	clear: left;
206 8a35f56c 2022-07-16 thomas 	float: left;
207 8a35f56c 2022-07-16 thomas 	width: 6.5em;
208 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
209 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
210 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
211 8a35f56c 2022-07-16 thomas }
212 8a35f56c 2022-07-16 thomas #cloneurl {
213 8a35f56c 2022-07-16 thomas 	float: left;
214 8a35f56c 2022-07-16 thomas 	width: 72%;
215 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
216 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
217 8a35f56c 2022-07-16 thomas 	overflow: auto;
218 8a35f56c 2022-07-16 thomas 	white-space: pre-wrap;
219 8a35f56c 2022-07-16 thomas }
220 8a35f56c 2022-07-16 thomas 
221 9e0c279a 2022-08-10 thomas .header_commit_title {
222 8a35f56c 2022-07-16 thomas 	clear: left;
223 8a35f56c 2022-07-16 thomas 	float: left;
224 8a35f56c 2022-07-16 thomas 	width: 6.5em;
225 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
226 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
227 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
228 8a35f56c 2022-07-16 thomas }
229 9e0c279a 2022-08-10 thomas .header_commit {
230 8a35f56c 2022-07-16 thomas 	float: left;
231 8a35f56c 2022-07-16 thomas 	width: 72%;
232 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
233 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
234 8a35f56c 2022-07-16 thomas }
235 9e0c279a 2022-08-10 thomas .header_author_title {
236 8a35f56c 2022-07-16 thomas 	clear: left;
237 8a35f56c 2022-07-16 thomas 	float: left;
238 8a35f56c 2022-07-16 thomas 	width: 6.5em;
239 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
240 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
241 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
242 8a35f56c 2022-07-16 thomas }
243 9e0c279a 2022-08-10 thomas .header_author {
244 8a35f56c 2022-07-16 thomas 	float: left;
245 8a35f56c 2022-07-16 thomas 	width: 72%;
246 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
247 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
248 8a35f56c 2022-07-16 thomas }
249 9e0c279a 2022-08-10 thomas .header_age_title {
250 8a35f56c 2022-07-16 thomas 	clear: left;
251 8a35f56c 2022-07-16 thomas 	float: left;
252 8a35f56c 2022-07-16 thomas 	width: 6.5em;
253 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
254 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
255 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
256 8a35f56c 2022-07-16 thomas }
257 9e0c279a 2022-08-10 thomas .header_age {
258 8a35f56c 2022-07-16 thomas 	float: left;
259 8a35f56c 2022-07-16 thomas 	width: 72%;
260 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
261 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
262 8a35f56c 2022-07-16 thomas }
263 8a35f56c 2022-07-16 thomas #header_commit_msg_title {
264 8a35f56c 2022-07-16 thomas 	clear: left;
265 8a35f56c 2022-07-16 thomas 	float: left;
266 8a35f56c 2022-07-16 thomas 	width: 6.5em;
267 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
268 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
269 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
270 8a35f56c 2022-07-16 thomas }
271 8a35f56c 2022-07-16 thomas #header_commit_msg {
272 8a35f56c 2022-07-16 thomas 	float: left;
273 8a35f56c 2022-07-16 thomas 	width: 72%;
274 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
275 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
276 8a35f56c 2022-07-16 thomas 	white-space: pre-wrap;
277 8a35f56c 2022-07-16 thomas }
278 8a35f56c 2022-07-16 thomas #header_tree_title {
279 8a35f56c 2022-07-16 thomas 	clear: left;
280 8a35f56c 2022-07-16 thomas 	float: left;
281 8a35f56c 2022-07-16 thomas 	width: 6.5em;
282 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
283 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
284 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
285 8a35f56c 2022-07-16 thomas }
286 8a35f56c 2022-07-16 thomas #header_tree {
287 8a35f56c 2022-07-16 thomas 	float: left;
288 8a35f56c 2022-07-16 thomas 	width: 72%;
289 8a35f56c 2022-07-16 thomas 	padding-top: 2px;
290 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
291 8a35f56c 2022-07-16 thomas }
292 8a35f56c 2022-07-16 thomas 
293 8a35f56c 2022-07-16 thomas #err_content {
294 8a35f56c 2022-07-16 thomas 	clear: left;
295 8a35f56c 2022-07-16 thomas 	float: left;
296 8a35f56c 2022-07-16 thomas 	padding-left: 20px;
297 8a35f56c 2022-07-16 thomas 	padding-top: 20px;
298 8a35f56c 2022-07-16 thomas 	padding-bottom: 20px;
299 8a35f56c 2022-07-16 thomas }
300 8a35f56c 2022-07-16 thomas 
301 8a35f56c 2022-07-16 thomas #briefs_title_wrapper {
302 8a35f56c 2022-07-16 thomas 	clear: left;
303 8a35f56c 2022-07-16 thomas 	float: left;
304 8a35f56c 2022-07-16 thomas 	width: 100%;
305 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
306 8a35f56c 2022-07-16 thomas 	color: #ffffff;
307 8a35f56c 2022-07-16 thomas }
308 8a35f56c 2022-07-16 thomas #briefs_title {
309 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
310 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
311 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
312 8a35f56c 2022-07-16 thomas }
313 8a35f56c 2022-07-16 thomas #briefs_content {
314 8a35f56c 2022-07-16 thomas 	clear: left;
315 8a35f56c 2022-07-16 thomas 	float: left;
316 8a35f56c 2022-07-16 thomas 	width: 100%;
317 8a35f56c 2022-07-16 thomas }
318 9e0c279a 2022-08-10 thomas .briefs_age {
319 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
320 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
321 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
322 8a35f56c 2022-07-16 thomas 	float: left;
323 8a35f56c 2022-07-16 thomas 	width: 7.5em;
324 8a35f56c 2022-07-16 thomas 	overflow: auto;
325 8a35f56c 2022-07-16 thomas }
326 9e0c279a 2022-08-10 thomas .briefs_author {
327 8a35f56c 2022-07-16 thomas 	float: left;
328 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
329 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
330 8a35f56c 2022-07-16 thomas 	width: 8.5em;
331 8a35f56c 2022-07-16 thomas 	font-style: italic;
332 8a35f56c 2022-07-16 thomas 	overflow: auto;
333 8a35f56c 2022-07-16 thomas }
334 9e0c279a 2022-08-10 thomas .briefs_log {
335 8a35f56c 2022-07-16 thomas 	float: left;
336 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
337 8a35f56c 2022-07-16 thomas 	padding-right: 10px;
338 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
339 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
340 8a35f56c 2022-07-16 thomas 	width: 65%;
341 8a35f56c 2022-07-16 thomas }
342 8a35f56c 2022-07-16 thomas 
343 8a35f56c 2022-07-16 thomas #tags_title_wrapper {
344 8a35f56c 2022-07-16 thomas 	clear: left;
345 8a35f56c 2022-07-16 thomas 	float: left;
346 8a35f56c 2022-07-16 thomas 	width: 100%;
347 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
348 8a35f56c 2022-07-16 thomas 	color: #ffffff;
349 8a35f56c 2022-07-16 thomas }
350 8a35f56c 2022-07-16 thomas #tags_title {
351 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
352 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
353 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
354 8a35f56c 2022-07-16 thomas }
355 8a35f56c 2022-07-16 thomas #tags_content {
356 8a35f56c 2022-07-16 thomas 	clear: left;
357 8a35f56c 2022-07-16 thomas 	float: left;
358 8a35f56c 2022-07-16 thomas 	width: 100%;
359 8a35f56c 2022-07-16 thomas }
360 9e0c279a 2022-08-10 thomas .tag_age {
361 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
362 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
363 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
364 8a35f56c 2022-07-16 thomas 	float: left;
365 8a35f56c 2022-07-16 thomas 	width: 7.5em;
366 8a35f56c 2022-07-16 thomas 	overflow: auto;
367 8a35f56c 2022-07-16 thomas }
368 9e0c279a 2022-08-10 thomas .tag_log {
369 8a35f56c 2022-07-16 thomas 	float: left;
370 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
371 8a35f56c 2022-07-16 thomas 	padding-right: 10px;
372 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
373 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
374 8a35f56c 2022-07-16 thomas 	width: 65%;
375 8a35f56c 2022-07-16 thomas }
376 8a35f56c 2022-07-16 thomas 
377 8a35f56c 2022-07-16 thomas #tag_header_wrapper {
378 8a35f56c 2022-07-16 thomas 	clear: left;
379 8a35f56c 2022-07-16 thomas 	float: left;
380 8a35f56c 2022-07-16 thomas 	background-color: #f5fcfb;
381 8a35f56c 2022-07-16 thomas 	width: 100%;
382 8a35f56c 2022-07-16 thomas }
383 8a35f56c 2022-07-16 thomas #tag_header {
384 8a35f56c 2022-07-16 thomas 	float: left;
385 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
386 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
387 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
388 8a35f56c 2022-07-16 thomas 	width: 80%;
389 8a35f56c 2022-07-16 thomas }
390 9e0c279a 2022-08-10 thomas .tag {
391 8a35f56c 2022-07-16 thomas 	float: left;
392 8a35f56c 2022-07-16 thomas 	width: 8.5em;
393 8a35f56c 2022-07-16 thomas 	font-style: italic;
394 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
395 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
396 8a35f56c 2022-07-16 thomas }
397 8a35f56c 2022-07-16 thomas #tag_commit {
398 8a35f56c 2022-07-16 thomas 	clear: left;
399 8a35f56c 2022-07-16 thomas 	float: left;
400 8a35f56c 2022-07-16 thomas 	padding-left: 20px;
401 8a35f56c 2022-07-16 thomas 	padding-bottom: 20px;
402 8a35f56c 2022-07-16 thomas 	white-space: pre-wrap;
403 8a35f56c 2022-07-16 thomas }
404 8a35f56c 2022-07-16 thomas 
405 8a35f56c 2022-07-16 thomas #index_header {
406 8a35f56c 2022-07-16 thomas 	clear: left;
407 8a35f56c 2022-07-16 thomas 	float: left;
408 8a35f56c 2022-07-16 thomas 	overflow: auto;
409 8a35f56c 2022-07-16 thomas 	width: 100%;
410 8a35f56c 2022-07-16 thomas 	background-color: Khaki;
411 8a35f56c 2022-07-16 thomas }
412 8a35f56c 2022-07-16 thomas #index_header_project {
413 8a35f56c 2022-07-16 thomas 	clear: left;
414 8a35f56c 2022-07-16 thomas 	float: left;
415 8a35f56c 2022-07-16 thomas 	width: 20%;
416 8a35f56c 2022-07-16 thomas 	padding: 10px;
417 8a35f56c 2022-07-16 thomas }
418 8a35f56c 2022-07-16 thomas #index_header_description {
419 8a35f56c 2022-07-16 thomas 	float: left;
420 8a35f56c 2022-07-16 thomas 	width: 30%;
421 8a35f56c 2022-07-16 thomas 	padding: 10px;
422 8a35f56c 2022-07-16 thomas }
423 8a35f56c 2022-07-16 thomas #index_header_owner {
424 8a35f56c 2022-07-16 thomas 	float: left;
425 8a35f56c 2022-07-16 thomas 	width: 12%;
426 8a35f56c 2022-07-16 thomas 	padding: 10px;
427 8a35f56c 2022-07-16 thomas }
428 8a35f56c 2022-07-16 thomas #index_header_age {
429 8a35f56c 2022-07-16 thomas 	padding: 10px;
430 8a35f56c 2022-07-16 thomas 	overflow: hidden;
431 8a35f56c 2022-07-16 thomas }
432 9e0c279a 2022-08-10 thomas .index_wrapper {
433 8a35f56c 2022-07-16 thomas 	clear: left;
434 8a35f56c 2022-07-16 thomas 	float: left;
435 8a35f56c 2022-07-16 thomas 	width: 100%;
436 8a35f56c 2022-07-16 thomas }
437 9e0c279a 2022-08-10 thomas .index_project {
438 8a35f56c 2022-07-16 thomas 	float: left;
439 8a35f56c 2022-07-16 thomas 	width: 20%;
440 8a35f56c 2022-07-16 thomas 	padding: 10px;
441 8a35f56c 2022-07-16 thomas 	overflow: hidden;
442 8a35f56c 2022-07-16 thomas }
443 9e0c279a 2022-08-10 thomas .index_project_description {
444 8a35f56c 2022-07-16 thomas 	float: left;
445 8a35f56c 2022-07-16 thomas 	width: 30%;
446 8a35f56c 2022-07-16 thomas 	padding: 10px;
447 8a35f56c 2022-07-16 thomas 	overflow: auto;
448 8a35f56c 2022-07-16 thomas }
449 9e0c279a 2022-08-10 thomas .index_project_owner {
450 8a35f56c 2022-07-16 thomas 	float: left;
451 8a35f56c 2022-07-16 thomas 	width: 12%;
452 8a35f56c 2022-07-16 thomas 	padding: 10px;
453 8a35f56c 2022-07-16 thomas 	overflow: hidden;
454 8a35f56c 2022-07-16 thomas }
455 9e0c279a 2022-08-10 thomas .index_project_age {
456 8a35f56c 2022-07-16 thomas 	float: left;
457 8a35f56c 2022-07-16 thomas 	width: 14%;
458 8a35f56c 2022-07-16 thomas 	padding: 10px;
459 8a35f56c 2022-07-16 thomas 	overflow: visible;
460 8a35f56c 2022-07-16 thomas }
461 9e0c279a 2022-08-10 thomas .index_project a {
462 8a35f56c 2022-07-16 thomas 	color: #444444;
463 8a35f56c 2022-07-16 thomas 	text-decoration: none;
464 8a35f56c 2022-07-16 thomas }
465 9e0c279a 2022-08-10 thomas .index_project a:hover {
466 8a35f56c 2022-07-16 thomas 	color: SteelBlue;
467 8a35f56c 2022-07-16 thomas 	text-decoration: none;
468 8a35f56c 2022-07-16 thomas }
469 8a35f56c 2022-07-16 thomas #index_next a {
470 8a35f56c 2022-07-16 thomas 	color: #444444;
471 8a35f56c 2022-07-16 thomas 	text-decoration: none;
472 8a35f56c 2022-07-16 thomas }
473 8a35f56c 2022-07-16 thomas #index_next a:hover {
474 8a35f56c 2022-07-16 thomas 	color: SteelBlue;
475 8a35f56c 2022-07-16 thomas 	text-decoration: none;
476 8a35f56c 2022-07-16 thomas }
477 8a35f56c 2022-07-16 thomas #index_prev a {
478 8a35f56c 2022-07-16 thomas 	color: #444444;
479 8a35f56c 2022-07-16 thomas 	text-decoration: none;
480 8a35f56c 2022-07-16 thomas }
481 8a35f56c 2022-07-16 thomas #index_prev a:hover {
482 8a35f56c 2022-07-16 thomas 	color: SteelBlue;
483 8a35f56c 2022-07-16 thomas 	text-decoration: none;
484 8a35f56c 2022-07-16 thomas }
485 8a35f56c 2022-07-16 thomas 
486 9e0c279a 2022-08-10 thomas .commits_title_wrapper {
487 8a35f56c 2022-07-16 thomas 	clear: left;
488 8a35f56c 2022-07-16 thomas 	float: left;
489 8a35f56c 2022-07-16 thomas 	width: 100%;
490 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
491 8a35f56c 2022-07-16 thomas 	color: #ffffff;
492 8a35f56c 2022-07-16 thomas }
493 9e0c279a 2022-08-10 thomas .commits_title {
494 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
495 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
496 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
497 8a35f56c 2022-07-16 thomas }
498 9e0c279a 2022-08-10 thomas .commits_content {
499 8a35f56c 2022-07-16 thomas 	clear: left;
500 8a35f56c 2022-07-16 thomas 	float: left;
501 8a35f56c 2022-07-16 thomas 	width: 100%;
502 8a35f56c 2022-07-16 thomas }
503 9e0c279a 2022-08-10 thomas .commits_header_wrapper {
504 8a35f56c 2022-07-16 thomas 	float: left;
505 8a35f56c 2022-07-16 thomas 	background-color: #f5fcfb;
506 8a35f56c 2022-07-16 thomas 	width: 100%;
507 8a35f56c 2022-07-16 thomas }
508 9e0c279a 2022-08-10 thomas .commits_header {
509 8a35f56c 2022-07-16 thomas 	float: left;
510 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
511 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
512 8a35f56c 2022-07-16 thomas 	width: 80%;
513 8a35f56c 2022-07-16 thomas }
514 9e0c279a 2022-08-10 thomas .commit {
515 8a35f56c 2022-07-16 thomas 	clear: left;
516 8a35f56c 2022-07-16 thomas 	float: left;
517 8a35f56c 2022-07-16 thomas 	padding-left: 20px;
518 8a35f56c 2022-07-16 thomas 	padding-bottom: 20px;
519 8a35f56c 2022-07-16 thomas 	white-space: pre-wrap;
520 8a35f56c 2022-07-16 thomas }
521 8a35f56c 2022-07-16 thomas 
522 b82440e1 2023-01-06 thomas #blame_title_wrapper, #blob_title_wrapper {
523 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
524 8a35f56c 2022-07-16 thomas 	color: #ffffff;
525 8a35f56c 2022-07-16 thomas }
526 b82440e1 2023-01-06 thomas #blame_title, #blob_title_wrapper {
527 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
528 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
529 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
530 8a35f56c 2022-07-16 thomas }
531 b82440e1 2023-01-06 thomas #blame_content, #blob_content {
532 8a35f56c 2022-07-16 thomas 	clear: left;
533 8a35f56c 2022-07-16 thomas 	float: left;
534 8a35f56c 2022-07-16 thomas 	width: 100%;
535 8a35f56c 2022-07-16 thomas }
536 b82440e1 2023-01-06 thomas #blame_header_wrapper, #blob_header_wrapper {
537 8a35f56c 2022-07-16 thomas 	float: left;
538 8a35f56c 2022-07-16 thomas 	background-color: #f5fcfb;
539 8a35f56c 2022-07-16 thomas 	width: 100%;
540 8a35f56c 2022-07-16 thomas }
541 b82440e1 2023-01-06 thomas #blame_header, #blob_header {
542 8a35f56c 2022-07-16 thomas 	float: left;
543 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
544 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
545 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
546 8a35f56c 2022-07-16 thomas 	width: 80%;
547 8a35f56c 2022-07-16 thomas }
548 b82440e1 2023-01-06 thomas #blame, #blob {
549 8a35f56c 2022-07-16 thomas 	clear: left;
550 8a35f56c 2022-07-16 thomas 	float: left;
551 8a35f56c 2022-07-16 thomas 	margin-left: 20px;
552 8a35f56c 2022-07-16 thomas 	margin-bottom: 20px;
553 8a35f56c 2022-07-16 thomas 	font-family: monospace;
554 8a35f56c 2022-07-16 thomas 	white-space: pre;
555 8a35f56c 2022-07-16 thomas 	overflow: auto;
556 8a35f56c 2022-07-16 thomas }
557 b82440e1 2023-01-06 thomas .blame_wrapper, .blob_line {
558 8a35f56c 2022-07-16 thomas 	clear: left;
559 8a35f56c 2022-07-16 thomas 	float: left;
560 8a35f56c 2022-07-16 thomas 	width: 100%;
561 8a35f56c 2022-07-16 thomas }
562 b82440e1 2023-01-06 thomas .blame_wrapper:target, .blob_line:target {
563 b82440e1 2023-01-06 thomas 	background-color: Khaki;
564 b82440e1 2023-01-06 thomas }
565 b82440e1 2023-01-06 thomas .blame_number, .blob_number {
566 8a35f56c 2022-07-16 thomas 	float: left;
567 8a35f56c 2022-07-16 thomas 	width: 6em;
568 8a35f56c 2022-07-16 thomas 	overflow: hidden;
569 8a35f56c 2022-07-16 thomas }
570 9e0c279a 2022-08-10 thomas .blame_hash {
571 8a35f56c 2022-07-16 thomas 	float: left;
572 8a35f56c 2022-07-16 thomas 	width: 6em;
573 8a35f56c 2022-07-16 thomas 	overflow: auto;
574 8a35f56c 2022-07-16 thomas }
575 9e0c279a 2022-08-10 thomas .blame_date {
576 8a35f56c 2022-07-16 thomas 	float: left;
577 8a35f56c 2022-07-16 thomas 	width: 7em;
578 8a35f56c 2022-07-16 thomas 	overflow: auto;
579 8a35f56c 2022-07-16 thomas }
580 9e0c279a 2022-08-10 thomas .blame_author {
581 8a35f56c 2022-07-16 thomas 	float: left;
582 8a35f56c 2022-07-16 thomas 	width: 6em;
583 8a35f56c 2022-07-16 thomas 	overflow: hidden;
584 8a35f56c 2022-07-16 thomas }
585 b82440e1 2023-01-06 thomas .blame_code, .blob_code {
586 8a35f56c 2022-07-16 thomas 	float:left;
587 8a35f56c 2022-07-16 thomas 	width: 50%;
588 8a35f56c 2022-07-16 thomas 	overflow: visible;
589 8a35f56c 2022-07-16 thomas }
590 8a35f56c 2022-07-16 thomas 
591 8a35f56c 2022-07-16 thomas #tree_title_wrapper {
592 8a35f56c 2022-07-16 thomas 	clear: left;
593 8a35f56c 2022-07-16 thomas 	float: left;
594 8a35f56c 2022-07-16 thomas 	width: 100%;
595 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
596 8a35f56c 2022-07-16 thomas 	color: #ffffff;
597 8a35f56c 2022-07-16 thomas }
598 8a35f56c 2022-07-16 thomas #tree_title {
599 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
600 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
601 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
602 8a35f56c 2022-07-16 thomas }
603 8a35f56c 2022-07-16 thomas #tree_content {
604 8a35f56c 2022-07-16 thomas 	clear: left;
605 8a35f56c 2022-07-16 thomas 	float: left;
606 8a35f56c 2022-07-16 thomas 	width: 100%;
607 8a35f56c 2022-07-16 thomas }
608 8a35f56c 2022-07-16 thomas #tree_header_wrapper {
609 8a35f56c 2022-07-16 thomas 	clear: left;
610 8a35f56c 2022-07-16 thomas 	float: left;
611 8a35f56c 2022-07-16 thomas 	background-color: #f5fcfb;
612 8a35f56c 2022-07-16 thomas 	width: 100%;
613 8a35f56c 2022-07-16 thomas }
614 8a35f56c 2022-07-16 thomas #tree_header {
615 8a35f56c 2022-07-16 thomas 	float: left;
616 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
617 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
618 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
619 8a35f56c 2022-07-16 thomas 	width: 80%;
620 8a35f56c 2022-07-16 thomas }
621 8a35f56c 2022-07-16 thomas #tree {
622 8a35f56c 2022-07-16 thomas 	clear: left;
623 8a35f56c 2022-07-16 thomas 	float: left;
624 8a35f56c 2022-07-16 thomas 	margin-left: 20px;
625 8a35f56c 2022-07-16 thomas 	margin-top: 20px;
626 8a35f56c 2022-07-16 thomas 	margin-bottom: 20px;
627 8a35f56c 2022-07-16 thomas 	font-family: monospace;
628 8a35f56c 2022-07-16 thomas }
629 9e0c279a 2022-08-10 thomas .tree_wrapper {
630 8a35f56c 2022-07-16 thomas 	clear: left;
631 8a35f56c 2022-07-16 thomas 	float: left;
632 8a35f56c 2022-07-16 thomas 	width: 100%;
633 56935ae7 2022-08-10 thomas 	background-color: #d8f3ef;
634 8a35f56c 2022-07-16 thomas }
635 56935ae7 2022-08-10 thomas .tree_wrapper:nth-child(even) {
636 56935ae7 2022-08-10 thomas 	background-color: #ffffff;
637 56935ae7 2022-08-10 thomas }
638 9e0c279a 2022-08-10 thomas .tree_line {
639 8a35f56c 2022-07-16 thomas 	clear: left;
640 8a35f56c 2022-07-16 thomas 	float: left;
641 8a35f56c 2022-07-16 thomas 	width: 20em;
642 8a35f56c 2022-07-16 thomas 	padding: 1px;
643 8a35f56c 2022-07-16 thomas }
644 9e0c279a 2022-08-10 thomas .tree_line_blank {
645 8a35f56c 2022-07-16 thomas 	float: left;
646 8a35f56c 2022-07-16 thomas 	padding: 1px;
647 8a35f56c 2022-07-16 thomas 	width: 9.5em;
648 8a35f56c 2022-07-16 thomas }
649 8a35f56c 2022-07-16 thomas 
650 8a35f56c 2022-07-16 thomas #diff_title_wrapper {
651 8a35f56c 2022-07-16 thomas 	clear: left;
652 8a35f56c 2022-07-16 thomas 	float: left;
653 8a35f56c 2022-07-16 thomas 	width: 100%;
654 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
655 8a35f56c 2022-07-16 thomas 	color: #ffffff;
656 8a35f56c 2022-07-16 thomas }
657 8a35f56c 2022-07-16 thomas #diff_title {
658 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
659 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
660 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
661 8a35f56c 2022-07-16 thomas }
662 8a35f56c 2022-07-16 thomas #diff_content {
663 8a35f56c 2022-07-16 thomas 	clear: left;
664 8a35f56c 2022-07-16 thomas 	float: left;
665 8a35f56c 2022-07-16 thomas 	width: 100%;
666 8a35f56c 2022-07-16 thomas }
667 8a35f56c 2022-07-16 thomas #diff_header_wrapper {
668 8a35f56c 2022-07-16 thomas 	float: left;
669 8a35f56c 2022-07-16 thomas 	background-color: #f5fcfb;
670 8a35f56c 2022-07-16 thomas 	width: 100%;
671 8a35f56c 2022-07-16 thomas }
672 8a35f56c 2022-07-16 thomas #diff_header {
673 8a35f56c 2022-07-16 thomas 	float: left;
674 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
675 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
676 8a35f56c 2022-07-16 thomas 	padding-bottom: 2px;
677 8a35f56c 2022-07-16 thomas 	width: 80%;
678 8a35f56c 2022-07-16 thomas }
679 8a35f56c 2022-07-16 thomas #diff {
680 8a35f56c 2022-07-16 thomas 	clear: left;
681 8a35f56c 2022-07-16 thomas 	float: left;
682 8a35f56c 2022-07-16 thomas 	margin-left: 20px;
683 8a35f56c 2022-07-16 thomas 	margin-bottom: 20px;
684 8a35f56c 2022-07-16 thomas 	font-family: monospace;
685 8a35f56c 2022-07-16 thomas 	white-space: pre;
686 8a35f56c 2022-07-16 thomas }
687 9e0c279a 2022-08-10 thomas .diff_line {
688 8a35f56c 2022-07-16 thomas 	clear: left;
689 8a35f56c 2022-07-16 thomas 	float: left;
690 8a35f56c 2022-07-16 thomas }
691 8a35f56c 2022-07-16 thomas 
692 8a35f56c 2022-07-16 thomas #summary_wrapper {
693 8a35f56c 2022-07-16 thomas 	clear: left;
694 8a35f56c 2022-07-16 thomas 	float: left;
695 8a35f56c 2022-07-16 thomas 	width: 100%;
696 8a35f56c 2022-07-16 thomas 	background-color: Khaki;
697 8a35f56c 2022-07-16 thomas }
698 8a35f56c 2022-07-16 thomas 
699 8a35f56c 2022-07-16 thomas #branches_title_wrapper {
700 8a35f56c 2022-07-16 thomas 	clear: left;
701 8a35f56c 2022-07-16 thomas 	float: left;
702 8a35f56c 2022-07-16 thomas 	width: 100%;
703 8a35f56c 2022-07-16 thomas 	background-color: LightSlateGray;
704 8a35f56c 2022-07-16 thomas 	color: #ffffff;
705 8a35f56c 2022-07-16 thomas }
706 8a35f56c 2022-07-16 thomas #branches_title {
707 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
708 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
709 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
710 8a35f56c 2022-07-16 thomas }
711 8a35f56c 2022-07-16 thomas #branches_content {
712 8a35f56c 2022-07-16 thomas 	clear: left;
713 8a35f56c 2022-07-16 thomas 	float: left;
714 8a35f56c 2022-07-16 thomas 	width: 100%;
715 8a35f56c 2022-07-16 thomas }
716 8a35f56c 2022-07-16 thomas 
717 9e0c279a 2022-08-10 thomas .branches_wrapper {
718 8a35f56c 2022-07-16 thomas 	clear: left;
719 8a35f56c 2022-07-16 thomas 	float: left;
720 8a35f56c 2022-07-16 thomas 	width: 100%;
721 8a35f56c 2022-07-16 thomas }
722 9e0c279a 2022-08-10 thomas .branches_age {
723 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
724 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
725 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
726 8a35f56c 2022-07-16 thomas 	float: left;
727 8a35f56c 2022-07-16 thomas 	width: 7.5em;
728 8a35f56c 2022-07-16 thomas 	overflow: auto;
729 8a35f56c 2022-07-16 thomas }
730 9e0c279a 2022-08-10 thomas .branches_space {
731 8a35f56c 2022-07-16 thomas 	padding-left: 10px;
732 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
733 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
734 8a35f56c 2022-07-16 thomas 	float: left;
735 8a35f56c 2022-07-16 thomas 	width: 8.5em;
736 8a35f56c 2022-07-16 thomas 	overflow: auto;
737 8a35f56c 2022-07-16 thomas }
738 9e0c279a 2022-08-10 thomas .branch {
739 8a35f56c 2022-07-16 thomas 	float: left;
740 8a35f56c 2022-07-16 thomas 	padding-right: 10px;
741 8a35f56c 2022-07-16 thomas 	padding-top: 5px;
742 8a35f56c 2022-07-16 thomas 	padding-bottom: 5px;
743 8a35f56c 2022-07-16 thomas }