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 {