From e5d282936434226241e7077380607224b4ebe446 Mon Sep 17 00:00:00 2001 From: Aldo Cortesi Date: Tue, 28 Jan 2014 15:19:53 +1300 Subject: [PATCH] docs: fix spacing of page headers --- doc-src/02-docstyle.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css index 8e07434b98..4b1ad76ac0 100644 --- a/doc-src/02-docstyle.css +++ b/doc-src/02-docstyle.css @@ -13,4 +13,8 @@ body { h1 { line-height: 1.1; -} \ No newline at end of file +} + +.page-header { + margin: 0px 0 22px; +}