* { margin: 0; padding: 0; box-sizing: border-box; }

body {
  font-family: monospace;
  max-width: 72ch;
  margin: 0 auto;
  padding: 1em;
  line-height: 1.5;
}

a { color: inherit; }

nav { margin-bottom: 2em; }
nav a { margin-right: 1em; }
nav a.active { font-weight: bold; text-decoration: none; }

.man-header, .man-footer {
  display: flex;
  justify-content: space-between;
  font-weight: bold;
  margin-bottom: 2em;
}
.man-footer {
  margin-top: 3em;
  margin-bottom: 0;
  padding-top: 1em;
  border-top: 1px solid;
}

.indent { padding-left: 5ch; }

/* mandoc-generated man page header/footer */
table.head, table.foot {
  width: 100%;
  border: none;
  font-weight: bold;
}
table.head { margin-bottom: 2em; }
table.foot {
  margin-top: 3em;
  padding-top: 1em;
  border-top: 1px solid;
}
table.head td, table.foot td {
  border: none;
  padding: 0;
}
.head-vol, .foot-os { text-align: center; }
.head-rtitle { text-align: right; }

/* mandoc section headers use h1 */
.manual-text h1 {
  font-size: 1em;
  margin-top: 1.5em;
  margin-bottom: 0.5em;
}

/* mandoc definition lists */
.Bl-tag dt { font-weight: bold; margin-top: 0.5em; }
.Bl-tag dd { margin-left: 2em; margin-bottom: 0.25em; }
.Bd-indent { margin-left: 2em; }

footer {
  margin-top: 3em;
  padding-top: 1em;
  border-top: 1px solid;
  font-size: 0.9em;
}
footer a { margin-right: 1em; }

h1 { margin-bottom: 0.5em; }
h2 { margin-top: 1.5em; margin-bottom: 0.5em; }
h3 { margin-top: 1em; margin-bottom: 0.5em; }

p, ul, ol { margin-bottom: 1em; }
ul, ol { padding-left: 2em; }
li { margin-bottom: 0.25em; }

pre {
  padding: 1em;
  overflow-x: auto;
  margin-bottom: 1em;
  border: 1px solid;
}

code { font-family: monospace; }

table {
  border-collapse: collapse;
  margin-bottom: 1em;
  width: 100%;
}
th, td {
  text-align: left;
  padding: 0.25em 1em 0.25em 0;
  border-bottom: 1px solid;
}

input, textarea {
  font-family: monospace;
  font-size: 1em;
  width: 100%;
  padding: 0.5em;
  margin-bottom: 1em;
  border: 1px solid;
  background: inherit;
  color: inherit;
}

button {
  font-family: monospace;
  font-size: 1em;
  padding: 0.5em 1em;
  border: 1px solid;
  background: inherit;
  color: inherit;
  cursor: pointer;
}

label {
  display: block;
  margin-bottom: 0.25em;
}

.status { margin-top: 1em; }