.query-edit { display: inline; }

span.icon { border: thin solid;
            font-size: 70%;
            vertical-align: top;
            background-color: lightblue;
            cursor: pointer;
            border-style: outset;
            padding-top: 0px;
            padding-bottom: 0px;
            padding-right: 1px;
          }

span.reset { border: thin solid;
             font-size: 70%;
             vertical-align: top;
             background-color: lightgrey;
             cursor: pointer;
             border-style: outset;
             padding: 0px;
           }

.event-trigger {
  background-color: rgb( 30%, 30%, 30% ); 
  color:            rgb( 99%, 99%, 99% ); 
}

.event-argument {
  background-color: rgb( 82%, 82%, 82% );
}

.event-participant {
  background-color: rgb( 65%, 65%, 65% ); 
}