From 133533a5dc3a0aa09af37cff4e3e3eceb01c0710 Mon Sep 17 00:00:00 2001
From: Isarra <zhorishna@gmail.com>
Date: Fri, 16 Aug 2019 17:03:14 +0000
Subject: [PATCH] Slightly reduce header margins

Slightly.

Bug: T197557
Change-Id: Ic222dd8588b701f34021aefa15b44108f26b477d
---
 resources/screen-common.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/screen-common.less b/resources/screen-common.less
index 8b5d9c0..abb9dc8 100644
--- 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 {