From 237ad82f3cea85ff1272701b3d6ebc9641fd308e Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Sun, 22 Oct 2017 16:11:07 +0200
Subject: [PATCH] Remove useless top margin on first heading

---
 src/librustdoc/html/static/rustdoc.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index 1d6f60b481a1..16551a4ffb0a 100644
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -748,6 +748,7 @@ span.since {
 
 .docblock > .section-header:first-child {
 	margin-left: 15px;
+	margin-top: 0;
 }
 
 .docblock > .section-header:first-child:hover > a:before {