}
.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-weight: bold;
border-top: 0.25rem solid #f71;
background-color: #f716;
}
+.page_header a {
+ font-weight: bold;
+}
+
.page_header a:visited, a.header {
color: #0000cc;
}