*, *::before, *::after { box-sizing: border-box;}

button.highlight-click:not(:disabled):active {
  background-color:blue;
}

.button_yellow {
  color:red;
  background-color:yellow;
  border: 2px solid dimgray;
  border-radius:50px;
}

.config-button {
  border: 2px solid dimgray;
  color:red;
  background-color:yellow;
}

.click-button {
  border: 2px solid dimgray;
  color:red;
  background-color:yellow;
  margin: 2px;
}

.onoff-button {
  border: 2px solid dimgray;
  color:red;
  background-color:yellow;
  margin: 2px;
}

.highlighted {
  background-color: blue;
  /* font-weight:bold; */
}
  
.button_label {
  color:red;
  background-color:yellow;
  border-radius:50px;
  border: 2px solid dimgray;
  padding: 1px 7px;
  font-family: Helvetica, Arial, sans-serif;
  font-size:smaller;
}

.button-active { /* not used */
  transform:scale(0,95);
  transform:translateY(1px);
  filter:saturate(150%);
}

.inline-text {
  display:inline;
  border: 2px solid dimgray;
  background-color:yellow;
  font-family: Helvetica, Arial, sans-serif;
  color:red;
  font-size:12px;
  padding-right:5px;
  padding-left:5px;
  padding-top:2px;
  padding-bottom:2px;
}