mirror of
https://github.com/git/git.git
synced 2024-11-01 23:07:55 +01:00
define default colors
Thanks to Kir Kolyshkin for pointing it out. Signed-off-by: Kay Sievers <kay.sievers@suse.de>
This commit is contained in:
parent
fdeb2fb616
commit
8240accb65
1 changed files with 4 additions and 1 deletions
|
@ -260,7 +260,10 @@ sub git_header_html {
|
|||
<title>$title</title>
|
||||
$rss_link
|
||||
<style type="text/css">
|
||||
body { font-family: sans-serif; font-size: 12px; margin:0px; border:solid #d9d8d1; border-width:1px; margin:10px; }
|
||||
body {
|
||||
font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px;
|
||||
margin:10px; background-color:#ffffff; color:#000000;
|
||||
}
|
||||
a { color:#0000cc; }
|
||||
a:hover, a:visited, a:active { color:#880000; }
|
||||
div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold; background-color:#d9d8d1; }
|
||||
|
|
Loading…
Reference in a new issue