/*
* Prefixed by https://autoprefixer.github.io
* PostCSS: v8.4.14,
* Autoprefixer: v10.4.7
* Browsers: last 4 version
*/

body {
  margin: 0;
  padding: 0;
  font-family: FreeSans, Helvetica, Tahoma, Verdana, Arial, sans-serif;
  background-color: #dfffdf;
  color: #000000;
}

.translated-rtl {
  direction: rtl;
}

.sidenav {
   height: 100%;
   width: 14.5em;
   position: fixed;
   z-index: 1;
   top: 0;
   left: 0;
   background-color: #007000;
   color: #ffffff;
   float: left;
   -webkit-box-shadow: 5px 0 10px 0 rgba(0, 0, 0, 0.25);
      -moz-box-shadow: 5px 0 10px 0 rgba(0, 0, 0, 0.25);
           box-shadow: 5px 0 10px 0 rgba(0, 0, 0, 0.25);
   overflow-y: auto;
   display: block;
}

.sidenav-contents {
   padding: 0.75em;
}

.translated-rtl .sidenav {
  left: auto;
  right: 0;
}

.sidenav h1, .sidenav h2, .sidenav h3, .sidenav h4, .sidenav h5, .sidenav h6, .sidenav p {
  margin: 0;
  padding: 0;
}

.sidenav .toc {
  padding-left: 0;
  list-style-type: none;
  margin: 0;
}

.sidenav .toc-level-2 {
  font-size: 1.5em;
  font-weight: bold;
}

.sidenav .toc-level-2 .toc-child {
  font-size: 0.7333333333333em;
  font-weight: normal;
}

.sidenav .toc-child {
  list-style-type: none;
  padding: 0.25em 0.25em 0.25em 1em;
  margin: 0;
}

.sidenav a {
  text-decoration: none;
  color: #ffffff;
}

.sidenav a:hover {
  text-decoration: none;
  color: #00ff00;
}

.content {
  margin-left: 14.5em;
  padding: 0.75em;
  word-wrap: break-word;
  overflow-wrap: break-word;
  display: block;
}

.translated-rtl .content {
  margin-left: 0;
  margin-right: 14em;
}

.content img {
  display: block;
  width: 100%;
  max-width: 1280px;
  margin: 0 auto;
}

table {
  border-collapse: collapse;
  margin: 0;
  overflow-wrap: break-word;
  word-wrap: break-word;
  word-break: break-all;
  word-break: break-word;
  position: relative;
}

table tbody {
  background-color: #ffffff;
  color: #000000;
}

table tbody:after {
  -webkit-box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.175);
  -moz-box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.175);
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.175);
  content: ' ';
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  z-index: -1;
}

table img {
  margin: 0;
  display: inline;
}

th,
tr {
  padding: 0.15em;
  text-align: center;
}

th {
  background-color: #007000;
  color: #ffffff;
}

th a {
  color: #ffffff;
}

.highlight, .git {
  margin: 0 -0.75em;
}

pre {
  margin: 0 -0.88235em;
}


@media screen and (prefers-color-scheme: dark) {
  .dummy {}

  body {
    background-color: #002000;
    color: #ffffff;
  }

  a {
    color: #ffffff;
  }

  a:hover {
    color: #00ff00;
  }

  .sidenav {
     -webkit-box-shadow: 5px 0 10px 0 rgba(127, 127, 127, 0.25);
        -moz-box-shadow: 5px 0 10px 0 rgba(127, 127, 127, 0.25);
             box-shadow: 5px 0 10px 0 rgba(127, 127, 127, 0.25);
  }
}

@media screen and (max-width: 640px) {
  .sidenav {
    display: none;
    position: static;
  }
  .content {
    margin: 0;
  }
  .translated-rtl .content {
    margin: 0;
  }
}

@media print {
  body {
    background-color: #ffffff;
    color: #000000;
  }
  .sidenav {
    display: none;
  }
  .content {
    margin: 0;
  }
  .hideinprint {
    display: none;
  }
  pre {
    white-space: pre-wrap;       /* Since CSS 2.1 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */
  }
}

@font-face {
  font-family: "FreeSans";
  font-display: swap;
  src: url("/fonts/FreeSans.woff") format("woff"), url("/fonts/FreeSans.ttf") format("truetype");
}

@font-face {
  font-family: "FreeSans";
  font-weight: bold;
  font-display: swap;
  src: url("/fonts/FreeSansBold.woff") format("woff"), url("/fonts/FreeSansBold.ttf") format("truetype");
}

@font-face {
  font-family: "FreeSans";
  font-style: italic;
  font-display: swap;
  src: url("/fonts/FreeSansOblique.woff") format("woff"), url("/fonts/FreeSansOblique.ttf") format("truetype");
}

@font-face {
  font-family: "FreeSans";
  font-style: italic;
  font-weight: bold;
  font-display: swap;
  src: url("/fonts/FreeSansBoldOblique.woff") format("woff"), url("/fonts/FreeSansBoldOblique.ttf") format("truetype");
}