From ec380010903c4c13053c269efe12eb4f48716e46 Mon Sep 17 00:00:00 2001
From: Varunram <vrg2009@ymail.com>
Date: Thu, 15 Jun 2017 12:44:38 +0530
Subject: [PATCH] Fix #2728: Overlapping Edit Button on docs

---
 doc-tool/resources/css/dottydoc.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css
index dc432fb41f64..5d18ddf75d52 100644
--- a/doc-tool/resources/css/dottydoc.css
+++ b/doc-tool/resources/css/dottydoc.css
@@ -172,6 +172,9 @@ h1#doc-page-title {
     margin: 10px 0 40px 10px;
     font-family: "Source Sans Pro", sans-serif;
     font-weight: 400;
+    display: -webkit-flex;
+    display: flex;
+    width: 550px;
 }
 
 div#post-title > h2#sub-title {