body {
  font-family: system-ui, sans-serif;
  margin: 1rem;
  max-width: 52rem;
  background: #111;
  color: #eee;
}
header h1 {
  font-size: 1.25rem;
  margin: 0 0 0.25rem;
}
.meta {
  color: #888;
  font-size: 0.85rem;
}
nav {
  margin: 1rem 0;
  display: flex;
  gap: 0.75rem;
  align-items: center;
}
a, button {
  color: #8cf;
}
form label {
  display: block;
  margin: 0.75rem 0;
}
select, input, button {
  display: block;
  margin-top: 0.25rem;
  min-width: 16rem;
  background: #222;
  color: #eee;
  border: 1px solid #444;
  padding: 0.35rem 0.5rem;
}
pre {
  background: #000;
  padding: 0.75rem;
  overflow: auto;
  font-size: 0.8rem;
  border: 1px solid #333;
}
.shell-page pre#term {
  min-height: 18rem;
  white-space: pre-wrap;
  word-break: break-word;
}
.readonly {
  color: #aaa;
  font-size: 0.85rem;
}
#settingsStatus {
  margin-left: 0.5rem;
  color: #8f8;
}
