body {
  font-family: "Courier New", Courier, monospace;
  font-size: 14px;
  line-height: 1.4;
  max-width: 78ch;
  margin: 20px auto;
  padding: 0 10px;
  background: #ffffff;
  color: #000000;
}
table.head, table.foot { width: 100%; }
td.head-rtitle, td.foot-os { text-align: right; }
td.head-vol { text-align: center; }
h1.Sh { font-size: 14px; font-weight: bold; margin-top: 16px; margin-bottom: 4px; }
.Nd, .Bf, .Op { display: inline; }
.Pa, .Ad { font-style: italic; }
.Ms { font-weight: bold; }
.Bl-diag > dt { font-weight: bold; }
code.Nm, .Fl, .Cm, .Ic, code.In, .Fd, .Fn, .Cd {
  font-weight: bold;
  font-family: inherit;
}
a { color: #000000; text-decoration: none; }
a:hover { text-decoration: underline; }