@wire-floating: #888888;
@wire-high: #00FF00;
@wire-low: #FF0000;
@wire-short: #FF9900;
@wire-bus: #0000ff;

@keyframes hilight {
  from {  opacity: 1 }
  to   {  opacity: 0.5 }
}