body {
  margin: 0;
  padding: 0;
  font-family: monospace;
}

p {
  margin-top: 0;
}

/* Common button/link-as-button styles */
.button {
  display: inline-block;
  text-decoration: none;
  padding: 6px 14px;
  font-family: monospace;
  cursor: pointer;
  background: #ecf2ff;
  color: #5b7cdb;
  border: 1px solid #5b7cdb;
  border-radius: 8px;
  font-size: 13px;
  font-weight: 500;
}

.button:hover {
  background: #d9e6ff;
}

button.button:disabled {
  opacity: 0.5;
  cursor: not-allowed;
}