diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-06 09:19:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-06 09:19:09 +0200 |
commit | 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a (patch) | |
tree | c25b05758e7732f8caec07064fecbbc2c6cd827e /doc-tool/resources | |
parent | e7bad078d00070eb056116a9608bc5c2f25cc7fd (diff) | |
download | dotty-2556c83a04af1baf9dd69f6139e9ea61d39e7c6a.tar.gz dotty-2556c83a04af1baf9dd69f6139e9ea61d39e7c6a.tar.bz2 dotty-2556c83a04af1baf9dd69f6139e9ea61d39e7c6a.zip |
Resize dottydoc menu button to 15px
Diffstat (limited to 'doc-tool/resources')
-rw-r--r-- | doc-tool/resources/css/dottydoc.css | 2 |
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; } |