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: 9374 |
343 content-length: 9185 |
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; } |
404 font-weight: bold; text-align: center; text-decoration: none; |
404 font-weight: bold; text-align: center; text-decoration: none; |
405 font-size: 10px; |
405 font-size: 10px; |
406 } |
406 } |
407 td.indexlinks a:hover { background-color: #6666aa; } |
407 td.indexlinks a:hover { background-color: #6666aa; } |
408 div.pre { font-family:monospace; font-size:12px; white-space:pre; } |
408 div.pre { font-family:monospace; font-size:12px; white-space:pre; } |
409 div.diff_info { font-family:monospace; color:#000099; background-color:#edece6; font-style:italic; } |
|
410 div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; } |
|
411 |
409 |
412 .search { |
410 .search { |
413 margin-right: 8px; |
411 margin-right: 8px; |
414 } |
412 } |
415 |
413 |