/* style.css */

.caption {
  text-align: center;
}

div.example {
  border: 2px solid black;
  border-radius: 8px;
  padding: 10px;
  margin: 1em 0;
  background-color: white;
}

div.figure .caption {
  text-align: center;
}

.solution-panel {
  background-color: #f8ffff;
  border: 1px solid #a3c3c3;
  border-radius: 5px;
  padding: 1em;
  margin: 1em 0;
}

.solution-panel-header {
  font-weight: bold;
  color: #0e566c;
  font-size: 1.1em;
  margin-bottom: 0.5em;
}