equal
deleted
inserted
replaced
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: 9066 |
343 content-length: 9044 |
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; background: white; color: black; } |
346 body { font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px; margin:10px; background: white; color: black; } |
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; } |
534 pre.sourcelines > span.followlines-selected { |
534 pre.sourcelines > span.followlines-selected { |
535 background-color: #99C7E9 !important; |
535 background-color: #99C7E9 !important; |
536 } |
536 } |
537 |
537 |
538 div#followlines { |
538 div#followlines { |
539 background-color: #B7B7B7; |
539 background-color: #FFF; |
540 border: 1px solid #CCC; |
540 border: 1px solid #d9d8d1; |
541 border-radius: 5px; |
541 padding: 5px; |
542 padding: 4px; |
|
543 position: fixed; |
542 position: fixed; |
544 } |
543 } |
545 |
544 |
546 div.followlines-cancel { |
545 div.followlines-cancel { |
547 text-align: right; |
546 text-align: right; |