body {
  font-family: "Palatino Linotype", "Book Antiqua", "Cambria", "Garamond", serif;
}
h1, h2, h3, h4, h5, h6 {
  font-family: "Palatino Linotype", "Book Antiqua", "Goudy Old Style", "Garamond", "Cambria", serif;
  font-weight: normal;
  font-style: italic;
}
code {
  font-family: "Consolas", monospace;
}
pre {
  font-family: "DejaVu Sans Mono", "Consolas", "Lucida Console";
  white-space: pre-wrap;
}
code, pre {
  background: #EEEEEE;
  padding: 0.0em 0.5em 0.0em 0.5em;
}
.input {
  font-weight: bold;
}
pre.input {
  background: #EEEEEE;
  padding: 1em;
  margin: 1em 1em 0em 1em;
}
pre.output {
  background: #EEEEEE;
  padding: 1em;
  margin: 0em 1em 0em 1em;
  white-space: pre !important;
  overflow: auto;
}
pre.error {
  background: #EEEEEE;
  color: red;
  padding: 1em;
  margin: 0em 1em 0em 1em;
}
pre.input + p img, pre.input + p audio {
  margin-left: 1em;
}
a {
  text-decoration: none;
  color: blue;
  display: inline-block;
  min-width: 1em;
  text-align: center;
}
a:visited {
  color: purple;
}
a:hover {
  text-decoration: none;
  background: navy;
  color: white;
}
th, td {
  padding: 0.5em 1em 0.5em 1em;
}
th {
  background: #DDDDDD;
}
td {
  background: #EEEEEE;
}
caption {
  caption-side: top;
  text-align: right;
  font-style: italic;
  color: #AAAAAA;
}
footer {
  margin-top: 5em;
  border-top: 2px solid black;
  background: #DDDDDD;
  padding: 1em;
  font-style: italic;
}
th.superheader {
  height: 2em;
  padding: 0px;
}
th.superheader div {
  position: relative;
  top: 0px;
  left: 0px;
  width: 100%;
  height: 100%;
  background: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' version='1.1' preserveAspectRatio='none' viewBox='0 0 100 100'><path d='M0 0 L100 100' stroke='white' stroke-width='4px' /></svg>");
  background-repeat: no-repeat;
  background-position: center center;
  background-size: 100% 100%;
}
th.superheader div .rows {
  position: absolute;
  left: 0.5em;
  bottom: 0.2em;
}
th.superheader div .cols {
  position: absolute;
  right: 0.5em;
  top: 0.0em;
}
header {
  display: flex;
  flex-direction: row	;
  align-content: space-between;
  align-content: center;
  background: black;
  color: white;
  position: sticky;
  top: 0px;
  left: 0px;
  width: 100%;
  overflow: hidden;
  align-items: center;
}
header nav {
  order: 1;
  flex-basis: 0;
  flex-grow: 1;
}
header nav ul {
  list-style-type: none;
  padding: 0px;
  margin: 0px;
}
header nav li {
  display: inline-block;
  padding: 4px;
}
header a {
  color: white !important;
  text-decoration: none !important;
  padding: 4px;
}
header nav a:hover {
  background: white !important;
  color: black !important;
}
header #doctitle {
  text-align: center;
  order: 2;
}
header #doclogo {
  text-align: right;
  padding: 4px;
  color: #AAAAAA;
  font-style: italic;
  font-size: 150%;
  order: 3;
  flex-basis: 0;
  flex-grow: 1;
}
header #doclogo a {
  color: inherit !important;
}
header #doclogo a:hover {
  background: inherit !important;
  color: white !important;
}
ul.helpindex {
  columns: 14em;
  list-style-type: none;
  padding: 0px;
}
article {
  max-width: 60em;
}
ul.helpindex li.indexheader {
  margin-top: 1em;
  font-family: "Palatino Linotype", "Book Antiqua", "Goudy Old Style", "Garamond", "Cambria", serif;
  font-size: 200%;
  font-style: italic;
}
ul.helpindex li a {
  text-align: left !important;
}
table {
  margin-left: 1em;
}
table.grid td {
  padding: 0px !important;
}
table.grid td a {
  padding: 0.5em 1em 0.5em 1em;
  display: block;
  text-align: center;
}
div.collection {
  display: grid;
  grid-template-columns: 1fr 1fr;
  grid-template-rows: min-content 1fr;
  background: #EEEEEE;
}
div.collection ul {
  padding: 0px;
  margin: 0px;
}
div.collection section#functions {
  grid-row-start: span 2;
}
div.collection section#functions ul {
  columns: 2;
}
div.collection section#operators li {
  display: inline-block;
}
div.collection section#operators li a {
  display: inline-block;
  min-width: 2em;
  text-align: center;
}
div.collection ul li p {
  margin-top: 0px;
}
div.collection li {
  display: block;
}
div.collection li a {
  padding: 4px;
}
dl#charcodelist {
  display: grid;
  grid-template-columns: repeat(auto-fill, 16em 8em);
  align-items: center;
}
dl#charcodelist dt, dl#charcodelist dd {
  padding: 4px;
  margin: 0px;
}
dl#charcodelist dt {
  font-family: "DejaVu Sans Mono", "Consolas", "Lucida Console";
  white-space: nowrap;
  overflow: hidden;
}
dl#charcodelist dt:after {
  content: "";
  display: inline-block;
  width: 100%;
  border-bottom: 2px dotted silver;
}
dl#charcodelist dd {
  font-size: 200%;
}