header {
  margin-bottom: 1rem;
}

body {
  max-width: 42rem;
  margin: 0 auto;
  padding: 1rem;
  line-height: 1.5;
  background: var(--surface);
  color: var(--on_surface);
}

a {
  color: var(--primary);
}

nav {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  margin-bottom: 1rem;
  padding-bottom: 0.5rem;
  border-bottom: 1px solid var(--outline);
}

.nav-links {
  display: flex;
  gap: 0.5rem;
}

.nav-controls {
  display: flex;
  gap: 0.5rem;
}

nav a {
  display: inline-block;
}

nav a:hover {
  color: var(--on_hover);
  background: var(--hover);
}

.theme-picker {
  position: relative;
}

.mode-picker {
  position: relative;
}

.theme-summary {
  cursor: pointer;
}

.mode-summary {
  cursor: pointer;
}

.theme-menu {
  position: absolute;
  right: 0;
  z-index: 1;
  min-width: 16rem;
  margin-top: 0.5rem;
  padding: 0.75rem;
  border: 1px solid var(--outline);
  background: var(--surface);
}

.mode-menu {
  position: absolute;
  right: 0;
  z-index: 1;
  min-width: 8rem;
  margin-top: 0.5rem;
  padding: 0.75rem;
  border: 1px solid var(--outline);
  background: var(--surface);
  display: grid;
  gap: 0.25rem;
}

.theme-search {
  width: 100%;
  margin-bottom: 0.5rem;
  border: 1px solid var(--outline);
  background: var(--surface_variant);
  color: var(--on_surface);
}

.theme-options {
  display: grid;
  gap: 0.25rem;
  max-height: 16rem;
  overflow-y: auto;
}

.theme-option {
  width: 100%;
  border: 1px solid var(--outline);
  background: var(--surface);
  color: var(--on_surface);
  text-align: left;
}

.mode-option {
  width: 100%;
  border: 1px solid var(--outline);
  background: var(--surface);
  color: var(--on_surface);
  text-align: left;
}

.theme-option.selected,
.theme-option:hover,
.mode-option.selected,
.mode-option:hover {
  background: var(--hover);
  color: var(--on_hover);
}

.page-title {
  text-align: center;
  margin-bottom: 0;
}

.page-subtitle {
  text-align: center;
  margin-top: 0;
}

pre,
code {
  background: var(--terminal_background);
  color: var(--terminal_foreground);
}