Commit f32c2491 authored by yann300's avatar yann300 Committed by GitHub

Merge pull request #671 from ethereum/devTools

Fix spacing in devTools (right hand panel) menu bar (around the logo)
parents 23cef490 06b28687
......@@ -60,7 +60,8 @@
float: right;
height: 90%;
background-color: white;
padding-right: 1%;
padding-right: 5%;
padding-left: 5%;
}
#righthand-panel #menu {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment