body {
  margin: 0;
  font-family: Helvetica, sans-serif;
  color: #222222;
  background-color: #F0F0F0;
}
body nav {
  background-image: linear-gradient(#353945, #273037);
  border-bottom: 1px solid #00BB00;
  position: fixed;
  top: 0;
  width: 100%;
  height: 57px;
  z-index: 69420;
}
body nav div {
  max-width: 750px;
  margin: auto;
}
body nav div ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
}
body nav div li {
  float: right;
}
body nav div li a {
  display: block;
  color: #00BB00;
  font-weight: bold;
  text-align: center;
  padding: 16px;
  text-decoration: none;
  height: 19px;
}
body nav div li a.active {
  border-bottom: 6px solid #00BB00;
}
body nav div li a:hover {
  background-color: #00BB00;
  color: #F0F0F0;
}
body nav div p {
  float: left;
  text-align: center;
  vertical-align: middle;
  color: #F0F0F0;
  font-size: 26px;
  font-weight: bold;
}
body #spacing {
  width: 100%;
  height: 58px;
}
body article {
  max-width: 900px;
  margin: auto;
  padding-top: 20px;
  text-align: justify;
  font-size: 20px;
}
body article h1 {
  font-size: 35px;
}
body article h2 {
  font-size: 28px;
}
body article h3 {
  font-size: 21px;
}
body article .dropdown:hover {
  color: #00BB00;
  cursor: pointer;
}
body article .hideable {
  display: none;
  margin-left: 10px;
  padding-left: 10px;
  border-left: 4px solid #919191;
}
body article .legal {
  font-size: 11px;
}
body article a {
  color: #00BB00;
  font-weight: bold;
  text-decoration: none;
  cursor: pointer;
}
body article a:hover {
  text-decoration: underline;
}
body article a.hoverbutton {
  border-radius: 10px;
  border: 2px solid;
  border-color: #00BB00;
  padding: 1px 5px;
  margin: 1px 5px;
  display: inline-block;
  height: 150%;
  background-color: #FFFFFF;
}
body article a.hoverbutton:hover {
  text-decoration: none;
  background-color: #00BB00;
  color: #FFFFFF;
}
body article .imageline {
  display: flex;
}
body article .date {
  padding: 0 20px;
  color: #919191;
  font-weight: bold;
  font-size: 18px;
}
body article .entry {
  font-size: 24px;
}
body article .disclaimer {
  color: #919191;
  font-weight: bold;
  font-style: italic;
  font-size: 16px;
  text-align: center;
  width: 80%;
  display: block;
  margin-left: auto;
  margin-right: auto;
}
body article .wbreak {
  overflow-wrap: break-word;
}
body article figure {
  border-style: solid;
  border-color: #006C00;
  padding: 10px;
  border-width: 1px;
  margin: 0;
  background-color: #FFFFFF;
  text-align: center;
}
body article figure canvas {
  display: block;
  margin: auto;
}
body article figure video {
  max-width: 90%;
  max-height: 500px;
  width: auto;
  height: auto;
  display: block;
  margin-left: auto;
  margin-right: auto;
}
body article table {
  border-collapse: collapse;
  width: 50%;
  margin-left: auto;
  margin-right: auto;
}
body article table.pc75 {
  width: 75%;
}
body article table tr th {
  text-align: center;
  border: 1px solid #919191;
  padding-top: 12px;
  padding-bottom: 12px;
  background-color: #006C00;
  color: #FFFFFF;
}
body article table tr td {
  border: 1px solid #919191;
  text-align: center;
}
body article table tr:nth-child(even) {
  background-color: #FFFFFF;
}
body article table tr:hover {
  background-color: #4add4a;
}
body article input[type=range] {
  height: 10px;
  background: #919191;
  outline: none;
  opacity: 0.7;
  border-radius: 10px;
}
body article input[type=range]::-moz-range-thumb {
  width: 25px;
  height: 25px;
  border-radius: 50%;
  background: #00BB00;
  outline: none;
}
body article input[type=range]::-moz-focus-outer {
  border: 0;
}
body article input[type=range]:hover {
  opacity: 1;
}
body article input[type=checkbox] {
  width: 25px;
  height: 25px;
  background-color: #919191;
}
body article textarea {
  resize: none;
  font-size: 20px;
  border-style: solid;
  padding: 10px;
  border-width: 1px;
  border-color: #00BB00;
}
body article textarea:hover {
  border-color: #006C00;
}
body article textarea:focus {
  background-color: #94FF94;
}
body article img {
  max-width: 100%;
  max-height: 450px;
  width: auto;
  height: auto;
  display: block;
  margin-left: auto;
  margin-right: auto;
}
body article img.inline {
  display: inline-block;
  vertical-align: middle;
}
body article .mono {
  font-family: Hack, Monaco, "Fira Code", monospace;
  background-color: #CFCFCF;
  padding: 10px;
  margin: 4px;
  font-size: 18px;
  white-space: nowrap;
}
body article ul li {
  margin-bottom: 10px;
}
body article .horizontal_split {
  display: flex;
  justify-content: space-evenly;
  align-items: center;
}
body article .horizontal_split div {
  flex: 1;
}
body article .infobox {
  border-radius: 10px;
  border: 1px solid;
  font-weight: bold;
  padding-left: 60px;
  padding-right: 20px;
  padding-top: 10px;
  padding-bottom: 10px;
  display: table;
  background-repeat: no-repeat;
  background-position: 10px center;
  background-size: 40px 40px;
  margin-bottom: 20px;
}
body article .warning {
  background-color: #ffff96;
  border-color: #bdbd26;
  color: #bdbd26;
  background-image: url("res/infobox_warning.svg");
}
body article .info {
  background-color: #b5e3ff;
  border-color: #3b7ea8;
  color: #3b7ea8;
  font-size: 15px;
  background-image: url("res/infobox_info.svg");
}
body article .error {
  background-color: #ffad87;
  border-color: #b34c1d;
  color: #b34c1d;
  background-image: url("res/infobox_error.svg");
}
body article .success {
  background-color: #78ffa0;
  border-color: #118a34;
  color: #118a34;
  background-image: url("res/infobox_success.svg");
}
body article .code_highlight pre {
  font-family: Hack, Monaco, "Fira Code", monospace;
  font-size: 18px;
  border: 1px solid #006C00;
  background-color: #FFFFFF;
  padding: 10px;
  tab-size: 4;
  -moz-tab-size: 4;
  /* Firefox */
  white-space: pre-wrap;
  word-wrap: break-word;
  color: #000000;
  /* Keyword */
  /* Literal.String */
  /* Literal.String.Escape */
  /* Literal.Number.Bin */
  /* Literal.Number.Float */
  /* Literal.Number.Hex */
  /* Literal.Number.Integer */
  /* Literal.Number.Oct */
  /* Literal.Number */
  /* Comment.Preproc */
  /* Comment.PreprocFile */
  /* Keyword.Namespace */
  /* Keyword.Type */
  /* Keyword.Declaration */
  /* Name.Namespace */
  /* Keyword.Pseudo */
  /* Name.Builtin */
  /* Name.Label */
  /* Name.Attribute */
  /* Name.Function */
  /* Keyword.Constant */
  /* Comment */
  /* Error */
  /* Comment.Hashbang */
  /* Comment.Multiline */
  /* Comment.Single */
  /* Comment.Special */
  /* Generic.Deleted */
  /* Generic.Emph */
  /* Generic.Error */
  /* Generic.Heading */
  /* Generic.Inserted */
  /* Generic.Output */
  /* Generic.Prompt */
  /* Generic.Strong */
  /* Generic.Subheading */
  /* Generic.Traceback */
  /* Keyword.Reserved */
  /* Name.Class */
  /* Name.Constant */
  /* Name.Decorator */
  /* Name.Entity */
  /* Name.Exception */
  /* Name.Tag */
  /* Name.Variable */
  /* Operator.Word */
  /* Literal.String.Affix */
  /* Literal.String.Backtick */
  /* Literal.String.Char */
  /* Literal.String.Delimiter */
  /* Literal.String.Doc */
  /* Literal.String.Double */
  /* Literal.String.Heredoc */
  /* Literal.String.Interpol */
  /* Literal.String.Other */
  /* Literal.String.Regex */
  /* Literal.String.Single */
  /* Literal.String.Symbol */
  /* Name.Builtin.Pseudo */
  /* Name.Function.Magic */
  /* Name.Variable.Class */
  /* Name.Variable.Global */
  /* Name.Variable.Instance */
  /* Name.Variable.Magic */
  /* Literal.Number.Integer.Long */
}
body article .code_highlight pre .k {
  color: #000000;
  font-weight: bold;
}
body article .code_highlight pre .s {
  color: #850000;
}
body article .code_highlight pre .se {
  color: #00bdbd;
}
body article .code_highlight pre .mb {
  color: #b08000;
}
body article .code_highlight pre .mf {
  color: #b08000;
}
body article .code_highlight pre .mh {
  color: #b08000;
}
body article .code_highlight pre .mi {
  color: #b08000;
}
body article .code_highlight pre .mo {
  color: #b08000;
}
body article .code_highlight pre .m {
  color: #b08000;
}
body article .code_highlight pre .cp {
  color: #008207;
}
body article .code_highlight pre .cpf {
  color: #d18f00;
}
body article .code_highlight pre .kn {
  color: #008207;
  font-weight: bold;
}
body article .code_highlight pre .kt {
  color: #0067ab;
}
body article .code_highlight pre .kd {
  color: #000000;
  font-weight: bold;
}
body article .code_highlight pre .nn {
  color: #d18f00;
  font-weight: bold;
}
body article .code_highlight pre .kp {
  color: #000080;
}
body article .code_highlight pre .nb {
  color: #006060;
}
body article .code_highlight pre .nl {
  color: #693d20;
}
body article .code_highlight pre .na {
  color: #000000;
}
body article .code_highlight pre .nf {
  color: #000080;
}
body article .code_highlight pre .kc {
  color: #000000;
  font-weight: bold;
}
body article .code_highlight pre .hll {
  background-color: #ffffcc;
}
body article .code_highlight pre .c {
  color: #408080;
  font-style: italic;
}
body article .code_highlight pre .err {
  border: 1px solid #FF0000;
}
body article .code_highlight pre .ch {
  color: #408080;
  font-style: italic;
}
body article .code_highlight pre .cm {
  color: #408080;
  font-style: italic;
}
body article .code_highlight pre .c1 {
  color: #969696;
}
body article .code_highlight pre .cs {
  color: #408080;
  font-style: italic;
}
body article .code_highlight pre .gd {
  color: #A00000;
}
body article .code_highlight pre .ge {
  font-style: italic;
}
body article .code_highlight pre .gr {
  color: #FF0000;
}
body article .code_highlight pre .gh {
  color: #000080;
  font-weight: bold;
}
body article .code_highlight pre .gi {
  color: #00A000;
}
body article .code_highlight pre .go {
  color: #888888;
}
body article .code_highlight pre .gp {
  color: #000080;
  font-weight: bold;
}
body article .code_highlight pre .gs {
  font-weight: bold;
}
body article .code_highlight pre .gu {
  color: #800080;
  font-weight: bold;
}
body article .code_highlight pre .gt {
  color: #0044DD;
}
body article .code_highlight pre .kr {
  color: #008000;
  font-weight: bold;
}
body article .code_highlight pre .nc {
  color: #0000FF;
  font-weight: bold;
}
body article .code_highlight pre .no {
  color: #880000;
}
body article .code_highlight pre .nd {
  color: #AA22FF;
}
body article .code_highlight pre .ni {
  color: #999999;
  font-weight: bold;
}
body article .code_highlight pre .ne {
  color: #D2413A;
  font-weight: bold;
}
body article .code_highlight pre .nt {
  color: #008000;
  font-weight: bold;
}
body article .code_highlight pre .nv {
  color: #19177C;
}
body article .code_highlight pre .ow {
  color: #AA22FF;
  font-weight: bold;
}
body article .code_highlight pre .sa {
  color: #BA2121;
}
body article .code_highlight pre .sb {
  color: #BA2121;
}
body article .code_highlight pre .sc {
  color: #BA2121;
}
body article .code_highlight pre .dl {
  color: #BA2121;
}
body article .code_highlight pre .sd {
  color: #BA2121;
  font-style: italic;
}
body article .code_highlight pre .s2 {
  color: #BA2121;
}
body article .code_highlight pre .sh {
  color: #BA2121;
}
body article .code_highlight pre .si {
  color: #BB6688;
  font-weight: bold;
}
body article .code_highlight pre .sx {
  color: #008000;
}
body article .code_highlight pre .sr {
  color: #BB6688;
}
body article .code_highlight pre .s1 {
  color: #BA2121;
}
body article .code_highlight pre .ss {
  color: #19177C;
}
body article .code_highlight pre .bp {
  color: #008000;
}
body article .code_highlight pre .fm {
  color: #0000FF;
}
body article .code_highlight pre .vc {
  color: #19177C;
}
body article .code_highlight pre .vg {
  color: #19177C;
}
body article .code_highlight pre .vi {
  color: #19177C;
}
body article .code_highlight pre .vm {
  color: #19177C;
}
body article .code_highlight pre .il {
  color: #666666;
}
body article .plt_red {
  color: #FF0000;
}
body article .plt_blue {
  color: #1f77b4;
}
body article .plt_green {
  color: #008000;
}
body article .plt_yellow {
  color: #969600;
}
body article .mat_red_700 {
  color: #d32f2f;
}
body article .mat_cyan_700 {
  color: #0097a7;
}
body article .mat_green_700 {
  color: #388e3c;
}
body article .mat_yellow_900 {
  color: #f57f17;
}
body article .lo_yellow {
  background-color: #fff685;
}
body article .lo_orange {
  background-color: #f9a870;
}
body article .lo_teal {
  background-color: #87d1d1;
}
body article [class*=strong_highlight_] {
  font-weight: bold;
}