div button {
  background-color: #9e2020;
  border-color: #9e2020;
  font-family: monospace !important;
}

div button:hover {
  background-color: #00527f;
  border-color: #00527f;
}