body {
  font-family: Verdana, sans-serif;
  margin: 0;
  max-width: 1200px;
  line-height: 130%; }

@media screen and (min-width: 1000px) {
  body {
    margin: 0 auto; } }
header {
  position: absolute;
  top: 0;
  padding: 0;
  width: 100%;
  max-width: 1200px;
  z-index: 1; }

@media print {
  header,
  .noprint {
    display: none; } }
main {
  position: relative;
  top: 60px;
  padding: 0 20px;
  max-width: 1200px; }

footer {
  position: relative;
  top: 60px;
  border-top: 1px solid #e0e0e0;
  clear: both;
  text-align: center;
  font-size: 90%;
  color: #606060;
  max-width: 1200px;
  padding-bottom: 10px;
  margin: 30px 20px 0 20px; }

section {
  position: relative;
  margin-top: 24px;
  border-top: 1px solid #a0c0ff; }

#logo {
  position: absolute;
  top: 0;
  width: 100%;
  height: 20px;
  padding: 10px 0;
  background-color: #4b6ac5;
  text-align: center; }

#logo a {
  color: #ffffff;
  text-decoration: none;
  font-weight: bold; }

#logo a:hover {
  color: #e0e0e0; }

@media screen and (min-width: 1000px) {
  #logo {
    position: absolute;
    top: 0;
    left: calc(50% - 50vw);
    width: 400px;
    padding-top: 120px;
    font-size: 18pt;
    transform: rotate(-25deg) translate(-105px, -130px); } }
@media screen and (max-width: 999px) {
  #logo {
    font-size: 18px; } }
a.skip-main {
  left: -999px;
  position: absolute;
  top: auto;
  width: 1px;
  height: 1px;
  overflow: hidden;
  z-index: -999; }

a.skip-main:focus {
  left: auto;
  top: auto;
  height: auto;
  width: 15em;
  text-align: center;
  overflow: auto;
  margin: 24px 20px 10px 120px;
  padding: 10px;
  z-index: 999; }

nav {
  position: absolute; }

a#menu-code {
  background-image: url("/img/github.png");
  background-repeat: no-repeat;
  background-size: 16px 16px; }

@media screen and (min-width: 1000px) {
  #menu-toggle span,
  #menu-toggle input {
    display: none; }

  nav {
    top: 20px;
    right: 0;
    font-size: 120%;
    padding-right: 20px; }

  nav ul {
    width: 100%;
    list-style: none;
    margin: 0; }

  nav ul > li {
    position: relative;
    float: left;
    margin-left: 10px;
    height: 2ex; }

  #menu a {
    background-color: #4b6ac5;
    color: #ffffff;
    text-decoration: none;
    padding: 3px 8px;
    border-radius: 2px; }

  #menu a:hover {
    color: #e0e0e0; }

  a#menu-code {
    padding-left: 30px;
    background-position: 8px center; } }
@media screen and (max-width: 999px) {
  nav {
    width: 60px;
    height: 40px;
    right: 0; }

  #menu-toggle {
    display: block;
    position: absolute;
    top: 9px;
    right: 23px;
    z-index: 1; }

  #menu-toggle a {
    text-decoration: none;
    color: #ffffff; }

  #menu-toggle a:hover {
    color: #e0e0e0; }

  #menu-toggle input {
    display: block;
    width: 40px;
    height: 32px;
    position: absolute;
    top: -7px;
    left: -5px;
    cursor: pointer;
    opacity: 0;
    z-index: 2;
    -webkit-touch-callout: none; }

  div#menu-toggle span {
    position: relative;
    display: block;
    width: 27px;
    height: 4px;
    margin-bottom: 5px;
    background-color: #ffffff;
    border-radius: 3px;
    z-index: 1;
    transform-origin: 4px 0; }

  #menu-toggle span:first-child {
    transform-origin: 0% 0%; }

  #menu-toggle span:nth-last-child(2) {
    transform-origin: 0% 100%; }

  #menu-toggle input:checked ~ span {
    transform: rotate(45deg) scale(1.1, 1.1) translate(0, 1px); }

  #menu-toggle input:checked ~ span:nth-last-child(3) {
    opacity: 0;
    transform: scale(0.2, 0.2); }

  #menu-toggle input:checked ~ span:nth-last-child(2) {
    transform: rotate(-45deg) scale(1.1, 1.1); }

  #menu {
    position: absolute;
    display: none;
    width: 200px;
    margin: -100px 0 0 50px;
    padding: 110px 20px 20px 20px;
    background-color: #4b6ac5;
    list-style-type: none;
    -webkit-font-smoothing: antialiased;
    transform: none;
    transform-origin: 0% 0%; }

  #menu li {
    padding: 6px 0;
    font-size: 160%; }

  #menu-toggle input:checked ~ ul {
    display: block !important;
    transform: translate(-100%, 0); }

  a#menu-code {
    padding-left: 24px;
    background-position: 0 3px; } }
.star {
  position: absolute;
  top: -15px;
  right: -7px;
  filter: drop-shadow(0px 0px 2px #e0e0f0); }

h1,
h2,
h2 a {
  color: #4b6ac5;
  text-decoration: none; }

a {
  color: #2b4ab5; }

a:visited {
  color: black; }

a.extlink::before {
  content: '\2192' '\00a0'; }

h1 {
  text-transform: uppercase;
  text-align: center;
  font-size: 240%;
  line-height: 120%; }

h2 img, h3 img {
  position: relative;
  top: 2px;
  width: 1em;
  height: 1em;
  padding-right: 0.3em; }

code {
  background-color: #f0f0f0;
  padding: 0 2px;
  border-radius: 2px; }

pre code {
  padding: 0; }

ul,
ol {
  padding-left: 24px; }

dt {
  font-weight: bold; }

dd {
  margin-left: 20px; }

pre {
  background-color: #f0f0f0;
  padding: 2px 6px;
  border: 1px solid #e0e0e0;
  border-radius: 2px; }

.change-bef {
  position: relative;
  left: -2px;
  border-left: 2px solid red;
  background-color: #ffcccc; }

.change-aft {
  position: relative;
  left: -2px;
  border-left: 2px solid green;
  background-color: #e6ffe6; }

.char-bef {
  font-weight: bold;
  color: red; }

.char-aft {
  font-weight: bold;
  color: green; }

.note {
  border: 1px solid #ffa0a0;
  border-radius: 2px;
  background-image: url("/img/warning.png");
  background-repeat: no-repeat;
  background-position: 8px 8px;
  background-size: 20px 20px;
  background-color: #fff0f0; }

.wip {
  border: 1px solid #a0a0ff;
  border-radius: 2px;
  background-image: url("/img/wip.png");
  background-repeat: no-repeat;
  background-position: 8px 8px;
  background-size: 20px 20px;
  background-color: #f0f0ff; }

div.note {
  padding: 0 10px 0 40px; }

p.note,
p.wip {
  padding: 10px 10px 10px 40px; }

img.inline {
  position: relative;
  top: 1px;
  width: 1em;
  height: 1em; }

.flright {
  float: right;
  margin: 0 0 8px 8px; }

.withborder {
  padding: 2px;
  background-color: #ffffff;
  border: 1px solid #e0e0e0;
  border-radius: 2px; }

@media screen and (max-width: 999px) {
  a#news-rss {
    display: none; } }
@media screen and (min-width: 1000px) {
  #newsbox {
    position: relative;
    float: right;
    width: 26em;
    min-height: 100px;
    background-color: #feefee;
    border: 1px solid #c61109;
    border-radius: 2px;
    padding: 10px;
    margin-top: 10px;
    margin-left: 10px;
    z-index: 1; }

  #newsbox section {
    border: none; }

  #newsbox h2 {
    margin-top: 10px;
    width: 3.6em;
    margin: 0 auto;
    padding: 0 0 4px 0;
    text-align: center; }

  #newsbox h2 a {
    color: #c61109;
    text-decoration: none; }

  .news-date {
    vertical-align: top;
    white-space: nowrap; }

  a#news-rss {
    position: absolute;
    right: 4px;
    top: 4px; } }
.post-meta {
  color: #4b6ac5;
  font-size: 140%;
  text-align: center; }

div.news-date {
  text-align: center;
  color: #808080;
  font-size: 120%; }

.news-list article {
  margin-bottom: 30px; }

.news-text {
  margin-left: 7em; }

div.news-date-small {
  float: left;
  width: 5em;
  border-radius: 2px;
  text-align: center;
  background-color: #4b6ac5;
  color: #ffffff;
  margin-right: 2em; }

.container {
  display: flex;
  align-content: stretch;
  flex-wrap: wrap;
  margin: -10px; }

.box {
  margin: 10px;
  border-radius: 2px;
  padding: 0 16px 4px 16px;
  flex-grow: 1;
  text-decoration: none;
  color: #000000; }

.box2 {
  width: 40%;
  background-color: #f8f8ff;
  border: 1px solid #a0c0ff; }

.box2 h2 {
  margin-top: 10px;
  border: none; }

.box3 {
  width: 25%;
  font-size: 80%;
  border: 1px solid #e0e0e0; }

.box3 img {
  float: left;
  padding: 12px 8px 8px 0; }

#sponsorlist {
  display: flex;
  align-content: stretch;
  flex-wrap: wrap; }

#sponsorlist div {
  padding: 4px 40px 4px 0;
  margin: auto 0; }

#sponsorlist a {
  font-weight: bold;
  text-decoration: none;
  color: black; }

table.software-versions {
  border-top: 1px solid #e0e0e0;
  border-bottom: 1px solid #e0e0e0;
  border-right: 1px solid #e0e0e0;
  border-spacing: 0; }

table.software-versions tbody tr:nth-child(even) {
  background-color: #f0f0f0; }

table.software-versions td {
  height: 2em;
  border-left: 1px solid #e0e0e0;
  padding: 2px 4px; }

table.software-versions tr.groupstart td {
  border-top: 2px solid #e0e0e0; }

table.software-versions th {
  height: 2em;
  min-width: 5em;
  border-left: 1px solid #e0e0e0;
  padding: 2px 4px;
  background-color: #e0e0e0;
  text-align: left; }

.manpage-version {
  text-align: center;
  font-size: 120%;
  color: #4b6ac5; }

.manpage h1 {
  color: #404040;
  text-align: left; }

.manpage strong {
  color: #404040; }

.manpage dt {
  color: #404040; }

.manpage dd {
  padding-bottom: 6px; }

.version {
  background-color: #e0f0e0;
  padding: 0 2px;
  border-radius: 2px;
  border: 1px solid #e0e0e0; }

.experimental {
  background-color: #f0f0ff;
  border: 1px solid #a0a0ff;
  padding: 0 2px;
  border-radius: 2px; }

.table-note {
  margin-top: 4px;
  text-align: right;
  font-style: italic; }

.table-note::before {
  content: '(*) '; }

.toc ol {
  list-style: none; }

.toc li {
  text-indent: -24px;
  line-height: 150%; }

@media screen and (min-width: 400px) and (max-width: 1599px) {
  .toc li.appendix a::before {
    content: 'Appendix '; } }
@media screen and (min-width: 1600px) {
  div.toc {
    position: fixed;
    top: 128px;
    left: 20px;
    width: 200px; } }
article.manual {
  counter-reset: chapter appendix; }

article.manual table {
  display: inline-block; }

article.manual table,
article.manual code,
article.manual pre {
  overflow-x: auto; }

article.manual section {
  counter-reset: section; }

article.manual section.chapter h2::before {
  counter-increment: chapter;
  content: counter(chapter) " "; }

article.manual section.appendix h2::before {
  counter-increment: appendix;
  content: "Appendix " counter(appendix,upper-alpha) ": "; }

article.manual section.chapter h3::before {
  counter-increment: section;
  content: counter(chapter) "." counter(section) " "; }

article.manual section.appendix h3::before {
  counter-increment: section;
  content: counter(appendix,upper-alpha) "." counter(section) " "; }

h2 a.heading-link,
h3 a.heading-link,
h4 a.heading-link {
  display: none; }

h2 a.heading-link svg,
h3 a.heading-link svg,
h4 a.heading-link svg {
  width: 1.4ex;
  height: 1.4ex; }

h2:hover a.heading-link,
h3:hover a.heading-link,
h4:hover a.heading-link {
  display: inline;
  text-decoration: none; }

div.edit {
  position: absolute;
  top: 6px;
  right: 0;
  text-align: right;
  font-size: 160%; }

div.edit a {
  border: 1px solid #a0c0ff;
  border-radius: 2px;
  padding: 0 3px;
  text-decoration: none; }

table.desc {
  border: 1px solid #a0c0ff;
  border-spacing: 0;
  border-collapse: collapse;
  width: 100%; }

table.desc tbody tr:nth-child(even) {
  background-color: #f0f0f0; }

table.desc th {
  background-color: #a0c0ff;
  text-align: left;
  padding: 4px 8px;
  white-space: nowrap;
  width: 50px; }

table.desc td {
  padding: 4px 8px;
  vertical-align: top; }

table.desc td:first-of-type {
  font-family: monospace; }

@media screen and (min-width: 600px) {
  table.desc td:first-of-type {
    white-space: nowrap; } }
@media screen and (min-width: 800px) {
  table.desc td {
    min-width: 14em; } }
table.desc td code {
  border: 1px solid #ffffff; }

table.desc th:last-of-type {
  width: 100%; }

table.lib {
  width: 100%;
  border-spacing: 0;
  border-collapse: collapse;
  margin-bottom: 30px; }

table.lib th {
  width: 7em;
  padding: 4px;
  vertical-align: top;
  text-align: left; }

table.lib th::after {
  content: ':'; }

table.lib td {
  width: 100%;
  border: 1px solid #e0e0e0;
  background-color: #f0f0f0;
  padding: 4px; }

.lib-name td {
  font-weight: bold; }

.lib-syno td,
.lib-exam td {
  font-family: monospace;
  white-space: pre; }

table.proj {
  border: 1px solid #a0c0ff;
  border-spacing: 0;
  width: 100%; }

table.proj img {
  width: 128px; }

table.proj td {
  padding: 10px; }

.download {
  position: relative; }

.download img {
  position: absolute;
  top: 4px;
  right: 4px;
  width: 20px;
  height: 20px;
  padding: 4px;
  background-color: #e0e0e0;
  border-radius: 2px;
  z-index: 1; }

.example-container {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
  gap: 20px; }

.example {
  text-decoration: none;
  color: #000000;
  border: 1px solid #a0c0ff;
  border-radius: 2px; }

.example img {
  width: 100px;
  height: 100px;
  float: right;
  padding: 1px 1px 1px 10px; }

.example h2,
.example p {
  margin-top: 6px;
  padding: 0 6px; }

img.fullwidth {
  max-width: calc(100% - 2px);
  border: 1px solid #e0e0e0;
  border-radius: 2px; }

.map {
  width: calc(100% - 4px);
  height: 400px;
  background-color: #f0f0f0;
  border: 1px solid #e0e0e0;
  padding: 1px;
  clear: both; }

img[src^="https://repology.org/"] {
  filter: grayscale(1); }

.highlight .hll {
  background-color: #ffffcc; }

.highlight .c {
  color: #228B22; }

/* Comment */
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2; }

/* Error */
.highlight .k {
  color: #8B008B;
  font-weight: bold; }

/* Keyword */
.highlight .cm {
  color: #228B22; }

/* Comment.Multiline */
.highlight .cp {
  color: #1e889b; }

/* Comment.Preproc */
.highlight .c1 {
  color: #228B22; }

/* Comment.Single */
.highlight .cs {
  color: #8B008B;
  font-weight: bold; }

/* Comment.Special */
.highlight .gd {
  color: #aa0000; }

/* Generic.Deleted */
.highlight .ge {
  font-style: italic; }

/* Generic.Emph */
.highlight .gr {
  color: #aa0000; }

/* Generic.Error */
.highlight .gh {
  color: #000080;
  font-weight: bold; }

/* Generic.Heading */
.highlight .gi {
  color: #00aa00; }

/* Generic.Inserted */
.highlight .go {
  color: #888888; }

/* Generic.Output */
.highlight .gp {
  color: #555555; }

/* Generic.Prompt */
.highlight .gs {
  font-weight: bold; }

/* Generic.Strong */
.highlight .gu {
  color: #800080;
  font-weight: bold; }

/* Generic.Subheading */
.highlight .gt {
  color: #aa0000; }

/* Generic.Traceback */
.highlight .kc {
  color: #8B008B;
  font-weight: bold; }

/* Keyword.Constant */
.highlight .kd {
  color: #8B008B;
  font-weight: bold; }

/* Keyword.Declaration */
.highlight .kn {
  color: #8B008B;
  font-weight: bold; }

/* Keyword.Namespace */
.highlight .kp {
  color: #8B008B;
  font-weight: bold; }

/* Keyword.Pseudo */
.highlight .kr {
  color: #8B008B;
  font-weight: bold; }

/* Keyword.Reserved */
.highlight .kt {
  color: #a7a7a7;
  font-weight: bold; }

/* Keyword.Type */
.highlight .m {
  color: #B452CD; }

/* Literal.Number */
.highlight .s {
  color: #CD5555; }

/* Literal.String */
.highlight .na {
  color: #658b00; }

/* Name.Attribute */
.highlight .nb {
  color: #658b00; }

/* Name.Builtin */
.highlight .nc {
  color: #008b45;
  font-weight: bold; }

/* Name.Class */
.highlight .no {
  color: #00688B; }

/* Name.Constant */
.highlight .nd {
  color: #707a7c; }

/* Name.Decorator */
.highlight .ne {
  color: #008b45;
  font-weight: bold; }

/* Name.Exception */
.highlight .nf {
  color: #008b45; }

/* Name.Function */
.highlight .nn {
  color: #008b45;
  text-decoration: underline; }

/* Name.Namespace */
.highlight .nt {
  color: #8B008B;
  font-weight: bold; }

/* Name.Tag */
.highlight .nv {
  color: #00688B; }

/* Name.Variable */
.highlight .ow {
  color: #8B008B; }

/* Operator.Word */
.highlight .w {
  color: #bbbbbb; }

/* Text.Whitespace */
.highlight .mf {
  color: #B452CD; }

/* Literal.Number.Float */
.highlight .mh {
  color: #B452CD; }

/* Literal.Number.Hex */
.highlight .mi {
  color: #B452CD; }

/* Literal.Number.Integer */
.highlight .mo {
  color: #B452CD; }

/* Literal.Number.Oct */
.highlight .sb {
  color: #CD5555; }

/* Literal.String.Backtick */
.highlight .sc {
  color: #CD5555; }

/* Literal.String.Char */
.highlight .sd {
  color: #CD5555; }

/* Literal.String.Doc */
.highlight .s2 {
  color: #CD5555; }

/* Literal.String.Double */
.highlight .se {
  color: #CD5555; }

/* Literal.String.Escape */
.highlight .sh {
  color: #1c7e71;
  font-style: italic; }

/* Literal.String.Heredoc */
.highlight .si {
  color: #CD5555; }

/* Literal.String.Interpol */
.highlight .sx {
  color: #cb6c20; }

/* Literal.String.Other */
.highlight .sr {
  color: #1c7e71; }

/* Literal.String.Regex */
.highlight .s1 {
  color: #CD5555; }

/* Literal.String.Single */
.highlight .ss {
  color: #CD5555; }

/* Literal.String.Symbol */
.highlight .bp {
  color: #658b00; }

/* Name.Builtin.Pseudo */
.highlight .vc {
  color: #00688B; }

/* Name.Variable.Class */
.highlight .vg {
  color: #00688B; }

/* Name.Variable.Global */
.highlight .vi {
  color: #00688B; }

/* Name.Variable.Instance */
.highlight .il {
  color: #B452CD; }

/* Literal.Number.Integer.Long */