comparison tests/test-hgweb.t @ 26288:2239626369f5

gitweb: port code selection without line numbers from paper This is adapted from f2e4fdb3dd27 and e92d4b8530cb. It also fixes issue4790 in gitweb; tab characters now have meaningful width on the modified pages (file view, file diff, changeset).
author Anton Shestakov <av6@dwimlabs.net>
date Tue, 22 Sep 2015 02:09:10 +0800
parents eae3c6de71e5
children 3bfc473f4d33
comparison
equal deleted inserted replaced
26287:5c217bcc4597 26288:2239626369f5
338 338
339 static file 339 static file
340 340
341 $ get-with-headers.py --twice localhost:$HGPORT 'static/style-gitweb.css' - date etag server 341 $ get-with-headers.py --twice localhost:$HGPORT 'static/style-gitweb.css' - date etag server
342 200 Script output follows 342 200 Script output follows
343 content-length: 5401 343 content-length: 6242
344 content-type: text/css 344 content-type: text/css
345 345
346 body { font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px; margin:10px; } 346 body { font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px; margin:10px; }
347 a { color:#0000cc; } 347 a { color:#0000cc; }
348 a:hover, a:visited, a:active { color:#880000; } 348 a:hover, a:visited, a:active { color:#880000; }
372 div.list_head { padding:6px 8px 4px; border:solid #d9d8d1; border-width:1px 0px 0px; font-style:italic; } 372 div.list_head { padding:6px 8px 4px; border:solid #d9d8d1; border-width:1px 0px 0px; font-style:italic; }
373 a.list { text-decoration:none; color:#000000; } 373 a.list { text-decoration:none; color:#000000; }
374 a.list:hover { text-decoration:underline; color:#880000; } 374 a.list:hover { text-decoration:underline; color:#880000; }
375 table { padding:8px 4px; } 375 table { padding:8px 4px; }
376 th { padding:2px 5px; font-size:12px; text-align:left; } 376 th { padding:2px 5px; font-size:12px; text-align:left; }
377 tr.light:hover, .parity0:hover { background-color:#edece6; } 377 tr.light:hover, .parity0:hover, pre.sourcelines.stripes > :nth-child(4n+1):hover { background-color:#edece6; }
378 tr.dark, .parity1 { background-color:#f6f6f0; } 378 tr.dark, .parity1, pre.sourcelines.stripes > :nth-child(4n+3) { background-color:#f6f6f0; }
379 tr.dark:hover, .parity1:hover { background-color:#edece6; } 379 tr.dark:hover, .parity1:hover, pre.sourcelines.stripes > :nth-child(4n+3):hover { background-color:#edece6; }
380 td { padding:2px 5px; font-size:12px; vertical-align:top; } 380 td { padding:2px 5px; font-size:12px; vertical-align:top; }
381 td.closed { background-color: #99f; } 381 td.closed { background-color: #99f; }
382 td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; } 382 td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; }
383 td.indexlinks { white-space: nowrap; } 383 td.indexlinks { white-space: nowrap; }
384 td.indexlinks a { 384 td.indexlinks a {
430 border-color: #ccecff #46ace6 #46ace6 #ccecff; 430 border-color: #ccecff #46ace6 #46ace6 #ccecff;
431 } 431 }
432 span.difflineplus { color:#008800; } 432 span.difflineplus { color:#008800; }
433 span.difflineminus { color:#cc0000; } 433 span.difflineminus { color:#cc0000; }
434 span.difflineat { color:#990099; } 434 span.difflineat { color:#990099; }
435 div.diffblocks { counter-reset: lineno; }
436 div.diffblock { counter-increment: lineno; }
437 pre.sourcelines { position: relative; counter-reset: lineno; }
438 pre.sourcelines > span {
439 display: inline-block;
440 box-sizing: border-box;
441 width: 100%;
442 padding: 0 0 0 5em;
443 counter-increment: lineno;
444 }
445 pre.sourcelines > span:before {
446 -moz-user-select: -moz-none;
447 -khtml-user-select: none;
448 -webkit-user-select: none;
449 -ms-user-select: none;
450 user-select: none;
451 display: inline-block;
452 margin-left: -5em;
453 width: 4em;
454 color: #999;
455 text-align: right;
456 content: counters(lineno,".");
457 float: left;
458 }
459 pre.sourcelines > a {
460 display: inline-block;
461 position: absolute;
462 left: 0px;
463 width: 4em;
464 height: 1em;
465 }
435 466
436 /* Graph */ 467 /* Graph */
437 div#wrapper { 468 div#wrapper {
438 position: relative; 469 position: relative;
439 margin: 0; 470 margin: 0;