#top-bar {
  background-color: #e5e5e5;
  height: 50px;
  width: 100%;
}

/* The safe mode button reuses the param-button element's style with a different class */
param-button.safe-mode {
  background-color: #fff28000;
  transition: background-color 0.1 0;
}
param-button.safe-mode:hover {
  background-color: #fff28020;
  transition: background-color 0.1 0;
}
param-button.safe-mode:checked {
  background-color: #fff280;
  transition: background-color 0.1 0;
}

#automation-precision {
  /* Can't use width: auto here, but we'll try to roughly match the padding of the top bar buttons */
  width: 170px;
}