From 8e4d4c76a2e8c012d8d134f10b7c5412c6fa9751 Mon Sep 17 00:00:00 2001 From: yann300 Date: Wed, 23 Nov 2016 13:31:13 +0100 Subject: [PATCH] use css for debugger button --- assets/css/browser-solidity.css | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/assets/css/browser-solidity.css b/assets/css/browser-solidity.css index 9646a99161..bdb8d19d1a 100644 --- a/assets/css/browser-solidity.css +++ b/assets/css/browser-solidity.css @@ -299,6 +299,20 @@ body { margin-right: 1em; cursor: pointer; } + +#debugView button { + background-color: #C6CFF7; + font-size: 12px; + padding: 0.25em; + margin-bottom: .5em; + color: black; + border:0 none; + border-radius: 3px; + width: 8em; + margin-right: 1em; + cursor: pointer; +} + #staticanalysismodules label { display: block; }