The color on the gitweb page was slightly different.
background-color: #ffff00;
}
background-color: #ffff00;
}
}
div.page_header a:visited, a.header {
}
div.page_header a:visited, a.header {
}
div.page_header a:hover {
}
div.page_header a:hover {
}
div.page_nav a:visited {
}
div.page_nav a:visited {
a.list {
text-decoration: none;
a.list {
text-decoration: none;
tr.light:hover {
background-color: yellow;
tr.light:hover {
background-color: yellow;
tr.dark:hover {
background-color: yellow;
tr.dark:hover {
background-color: yellow;