CSS: Adjust header margins and font sizes

refs #5543
This commit is contained in:
Eric Lippmann 2015-11-04 16:18:14 +01:00
parent fec21affc9
commit 35e0c32e4e

View File

@ -51,22 +51,24 @@ body {
h1, h2, h3, h4, h5, h6 { h1, h2, h3, h4, h5, h6 {
border-bottom: 1px solid @gray-lighter; border-bottom: 1px solid @gray-lighter;
font-size: 1em;
font-weight: @font-weight-bold; font-weight: @font-weight-bold;
margin: @vertical-padding 0; margin: 0.556em 0 0.333em;
} }
h1 { h1 {
border-color: @gray-light; font-size: 1.5em;
font-size: 1.286em;
} }
h2 { h2 {
font-size: 1.143em; font-size: 1.333em;
} }
h3 { h3 {
font-size: 1.143em; font-size: 1.167em;
}
h4 {
font-size: 1em;
} }
h5 { h5 {