Merge "Slightly reduce header margins"

6 years ago · 76b65f29c7
parent 92dfb4d773 133533a5dc
commit 76b65f29c7
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 {