1 files changed, 1 insertions, 1 deletions
diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css
index 510023bde..140f15eba 100644
--- a/doc-tool/resources/css/dottydoc.css
+++ b/doc-tool/resources/css/dottydoc.css
@@ -101,7 +101,7 @@ div#content-wrapper button#menu-toggle span.icon-bar {
     color: #837f84;
     display: block;
     margin: 3px 0;
-    width: 22px;
+    width: 15px;
     height: 2px;
 }