body {
  margin: 0;
  background: var(--body-background-color, #050a12);
  color: var(--color-base, #f0f0f0);
  font-family: var(--fontface-content, sans-serif);
  font-size: var(--font-size-medium, 14px);
}

.app-header {
  position: sticky;
  top: 0;
  z-index: 50;
  display: flex;
  align-items: center;
  gap: 1em;
  padding: 0.5em 1em;
  background: var(--background-color-neutral, #2e2f3d);
  border-bottom: 1px solid var(--border-color-subtle, #54595d);
}

.app-logo {
  font-family: var(--fontface-title, serif);
  font-weight: 700;
  font-size: 1.15em;
  color: var(--color-base, #f0f0f0);
  text-decoration: none;
  white-space: nowrap;
}

.search-box {
  flex: 1 1 auto;
  max-width: 640px;
  position: relative;
}

#search-input {
  width: 100%;
  box-sizing: border-box;
  padding: 0.5em 0.75em;
  background: var(--background-color-interactive-subtle, #2e2f3d);
  color: var(--color-base, #f0f0f0);
  border: 1px solid var(--border-color-subtle, #54595d);
  border-radius: 3px;
  font-size: 14px;
}

#search-input:focus {
  outline: none;
  border-color: var(--color-progressive, #56dafe);
}

.search-results {
  position: absolute;
  top: 100%;
  left: 0;
  right: 0;
  margin-top: 4px;
  max-height: 70vh;
  overflow: auto;
  background: var(--background-color-base, #1d1d2b);
  border: 1px solid var(--border-color-subtle, #54595d);
  border-radius: 3px;
  box-shadow: 0 4px 16px rgba(0, 0, 0, 0.5);
}

.search-result {
  display: block;
  padding: 0.6em 0.75em;
  text-decoration: none;
  color: var(--color-base, #f0f0f0);
  border-bottom: 1px solid var(--border-color-subtle, #54595d);
}

.search-result:last-child {
  border-bottom: 0;
}

.search-result:hover,
.search-result.active {
  background: var(--background-color-interactive-subtle--hover, #424357);
}

.search-result-title {
  color: var(--color-link, #56dafe);
  font-weight: 600;
}

.search-result-snippet {
  font-size: 0.9em;
  color: var(--color-subtle, #babfc5);
  margin-top: 0.2em;
}

.app-content {
  max-width: 1240px;
  margin: 0 auto;
  padding: 1em 1.5em 3em;
}

.article-body {
  background: var(--background-color-base, #1d1d2b);
  padding: 1em 1.5em;
  border: 1px solid var(--border-color-subtle, #54595d);
  border-radius: 3px;
}

.home-prompt {
  color: var(--color-subtle, #babfc5);
  padding: 1em 0;
}

.page-list {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35em 1em;
  padding-top: 1em;
}

.page-list a {
  color: var(--color-link, #56dafe);
}

.vector-body,
.mw-body,
#content {
  margin: 0;
}

.mw-parser-output a {
  color: var(--color-link, #56dafe);
}