Chris Morgan
›
Git
›
gitweb
› blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
commit
grep
author
committer
pickaxe
?
search:
re
Tweak page header appearance
[gitweb]
/
static
/
gitweb.css
diff --git
a/static/gitweb.css
b/static/gitweb.css
index 5560823953ef439a7cb2265a1c19b841b994ecf5..99069a2f65fc6b609038e313ace36819d79593c2 100644
(file)
--- a/
static/gitweb.css
+++ b/
static/gitweb.css
@@
-66,13
+66,17
@@
a.list img.avatar {
}
.page_header {
}
.page_header {
- padding: 1rem;
+ /* Subtracting the border-top, because otherwise the underlines on/below links start to unbalance it. */
+ padding: 0.75rem 1rem 1rem;
font-size: 150%;
font-size: 150%;
- font-weight: bold;
border-top: 0.25rem solid #f71;
background-color: #f716;
}
border-top: 0.25rem solid #f71;
background-color: #f716;
}
+.page_header a {
+ font-weight: bold;
+}
+
.page_header a:visited, a.header {
color: #0000cc;
}
.page_header a:visited, a.header {
color: #0000cc;
}