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 {