From 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Thu, 6 Apr 2017 09:19:09 +0200 Subject: Resize dottydoc menu button to 15px --- doc-tool/resources/css/dottydoc.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc-tool') 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; } -- cgit v1.2.3