Use css for debugger button
@ -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;
#staticanalysismodules label {
display: block;