button {
  margin: 5px;
  border: 1px solid grey;
  font-size: 100%;
  padding: 7px;
  font-family: 'Ubuntu Mono', monospace;
  cursor: pointer;
  min-width: 150px;
}
button:hover {
  background: var(--btn_primary_bg_hover);
  color: var(--btn_primary_fg_hover);
}