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: 6379 |
343 content-length: 6412 |
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; 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; } |
349 div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold; background-color:#d9d8d1; } |
349 div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold; background-color:#d9d8d1; } |
350 div.page_header a:visited { color:#0000cc; } |
350 div.page_header a:visited { color:#0000cc; } |
351 div.page_header a:hover { color:#880000; } |
351 div.page_header a:hover { color:#880000; } |