Resize dottydoc menu button to 15px

felixmulder · web-flow · commit 2556c83a04af · 2017-04-06T09:19:09.000+02:00
diff --git 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;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,7 @@ div#content-wrapper button#menu-toggle span.icon-bar {`
`101`	`101`	`color: #837f84;`
`102`	`102`	`display: block;`
`103`	`103`	`margin: 3px 0;`
`104`		`- width: 22px;`
	`104`	`+ width: 15px;`
`105`	`105`	`height: 2px;`
`106`	`106`	`}`
`107`	`107`