changeset 376:b61a7d5a9101

Docs: remove useless margin
author David Demelier <markand@malikania.fr>
date Tue, 13 Dec 2016 13:04:39 +0100
parents fb015fe9ca8e
children cd7270ec6c8e
files doc/html/resources/css/doc-guide.css
diffstat 1 files changed, 0 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/doc/html/resources/css/doc-guide.css	Tue Dec 13 12:38:26 2016 +0100
+++ b/doc/html/resources/css/doc-guide.css	Tue Dec 13 13:04:39 2016 +0100
@@ -1,7 +1,3 @@
-h1, h2, h3 {
-    margin-top: 40px;
-}
-
 #introduction {
     margin-top: 0px;
 }