.bordered-image {
  border: 1px solid #ddd; /* Black border */
  padding: 5px; /* Optional padding */
  display: inline-block; /* Ensures the border wraps tightly */
}

.corpus-box {
  border: 1px solid #ddd;
  padding: 15px;
  margin: 20px 0;
  background-color: #f9f9f9;
  border-radius: 8px;
}

.corpus-box h3 {
  margin-top: 0;
  font-size: 1.5em;
  color: #333;
}

.corpus-box h4 {
  margin-top: 10px;
  font-size: 1.2em;
  color: #555;
}

.corpus-box ul {
  list-style: none;
  padding-left: 0;
}

.corpus-box ul li {
  margin-bottom: 5px;
}

/* Default to light mode */
.light-mode {
  display: block;
}

.dark-mode {
  display: none;
}

/* Switch to dark mode when the theme is dark */
html.dark .light-mode {
  display: none;
}

html.dark .dark-mode {
  display: block;
}