Mini Shell

body {
  font-family: sans-serif;
  max-width: 850px;
  margin: auto;
}
h1.title {
}
.permission {
  color: #ee0000;
  text-decoration: underline;
}
.synopsis,
.classsynopsis {
  background: #eeeeee;
  border: solid 1px #aaaaaa;
  padding: 0.5em;
}
.programlisting {
  background: #eeeeff;
  border: solid 1px #aaaaff;
  padding: 0.5em;
}
.variablelist {
  padding: 4px;
  margin-left: 3em;
}
.variablelist td:first-child {
  vertical-align: top;
}
td.shortcuts {
  color: #770000;
  font-size: 80%;
}
div.refnamediv {
  margin-top: 2em;
}
div.toc {
  border: 2em;
}
a {
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
  color: #ff0000;
}

div.table table {
  border-collapse: collapse;
  border-spacing: 0px;
  border-style: solid;
  border-color: #777777;
  border-width: 1px;
}

div.table table td,
div.table table th {
  border-style: solid;
  border-color: #777777;
  border-width: 1px;
  padding: 3px;
  vertical-align: top;
}

div.table table th {
  background-color: #eeeeee;
}

@media (prefers-color-scheme: dark) {
  html {
    background-color: #222222;
    color: #dddddd;
  }

  a {
    color: #8886fa;
  }

  a:hover {
    color: #5a57fa;
  }

  .synopsis,
  .classsynopsis {
    background: #161616;
    border: solid 1px #aaaaaa;
  }
  .programlisting {
    background: #161616;
    border: solid 1px #aaaaff;
  }
}