Slightly reduce header margins

Slightly. Bug: T197557 Change-Id: Ic222dd8588b701f34021aefa15b44108f26b477d
6 years ago · 133533a5dc
parent c9e9bb97e2
commit 133533a5dc
1 changed files with 1 additions and 1 deletions
--- a/resources/screen-common.less
+++ b/resources/screen-common.less
@ -411,7 +411,7 @@ pre,
 		font-weight: normal;
 		font-family: @fonts-secondary;
 		line-height: 1.125;
-		margin: 1.5em 0 0.5em;
+		margin: 1.25em 0 0.5em;
 	}

 	dt {