@font-face {
    font-family: 'JetBrains Mono';
    src: url('/static/JetBrainsMono-VariableFont_wght.woff2') format('woff2');
    font-weight: 100 800;
    font-style: normal;
}

body {
  font-family: 'JetBrains Mono', monospace !important;
  background-color: #black;
  color: white;
  display: flex;
  justify-content: center;
  align-items: center;
  height: 100vh;
  margin: 0;
}

.container {
  text-align: center;
  background: white;
  padding: 20px;
  border-radius: 8px;
  box-shadow: 0 0 10px rgba(0,0,0,0.1);
}

.links a {
  margin: 0 10px;
  text-decoration: none;
  color: #007BFF;
}

.error-message {
  color: red;
  margin-bottom: 20px;
}

.choices, .actions {
  display: flex;
  justify-content: center;
  margin: 10px 0;
}

.choices button, .actions button {
  margin: 5px;
  padding: 10px 20px;
  border: none;
  border-radius: 4px;
  /* These background and color properties may be overridden by .btn-* classes below */
  background-color: #007BFF;
  color: white;
  cursor: pointer;
}

.actions button {
  background-color: white;
  color: black;
}

button:hover {
  background-color: #0056b3;
}

.messages {
  margin-top: 20px;
}