@@ -56,6 +56,7 @@ body {
.status-ok {
#status-bar {
background-color: $status-ok;
+ height: 0;
}
&.visualize-state #title .dot {