Tweak page header appearance
authorChris Morgan <me@chrismorgan.info>
committerChris Morgan <me@chrismorgan.info>
static/gitweb.css

index 5d14f20deade6558b894d1d4da02a6ac007c392d..99069a2f65fc6b609038e313ace36819d79593c2 100644 (file)
@@ -66,7 +66,8 @@ a.list img.avatar {
 }
 
 .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%;
        border-top: 0.25rem solid #f71;
        background-color: #f716;