/* Documentation tab: a simple page with the pre-0.4.0 character (navy headings with rules, grey table headers, the app's font),
   without its boxes and bevels. */
.doc-container {
  position: absolute;
  inset: 0;
  overflow-y: auto;
  z-index: 15;
  background: #fff;
  color: #000;
  padding: 16px 28px;
  font: 14px/1.6 var(--sans);
}
/* the generator renders a page title (#) as h2, its sections (##) as h3 and subsections (###) as h4 */
.doc-container h2, .doc-container h3, .doc-container h4 { color: #000080; font-weight: bold; margin: 1.2em 0 0.5em; padding: 0; border: 0; }
.doc-container h2 { position: static; background: none; font-size: 22px; border-bottom: 2px solid #000080; padding-bottom: 4px; }
.doc-container h3 { font-size: 17px; border-bottom: 1px solid #c0c0c0; padding-bottom: 3px; }
.doc-container h4 { font-size: 15px; }
.doc-container p, .doc-container ul { margin: 0 0 1em; }
.doc-container li { margin-bottom: 0.3em; }
.doc-container code { font: 13px var(--mono); background: none; border: 0; padding: 0; }
.doc-container pre { font: 13px/1.4 var(--mono); background: #f4f4f4; border: 1px solid #c0c0c0; padding: 10px 12px; margin: 0 0 1em; overflow-x: auto; box-shadow: none; }
.doc-container a { color: #0000ff; text-decoration: none; }
.doc-container a:hover { text-decoration: underline; }
.doc-container hr { border: 0; border-top: 1px solid #c0c0c0; margin: 1.5em 0; }
.doc-container section { border: 0; box-shadow: none; padding: 0; margin: 0; }
.doc-container table { border-collapse: collapse; width: auto; margin: 0 0 1em; }
.doc-container th, .doc-container td { border: 1px solid #c0c0c0; padding: 4px 8px; text-align: left; vertical-align: top; white-space: normal; min-width: 0; }
.doc-container th { position: static; box-shadow: none; background: #dfdfdf; font-weight: bold; }
.doc-container .doc-tablewrap { overflow-x: auto; max-width: 100%; }
.math { font-family: "Times New Roman", Times, serif; font-style: italic; white-space: nowrap; }
a.doclink { font-size: 0.92em; }