/* Buttons prettifyswitch */
#light_dark {
  width: 100%;
  border-top: 1px solid #949494;
  border-left: 1px solid #949494;
  border-right: 1px solid #949494;
  background: #949494;
  text-align: center;
  max-width: 800px;
  margin: 0 auto;
}
#light {
  text-decoration: none;
  pointer-events: none;
  cursor: default;
  background: #fff;
  color: #000;
  display: inline-block;
  padding: 5px 15px;
}
#light:hover {
  text-decoration: none;
}
#dark {
  text-decoration: none;
  background: #949494;
  color: #fff;
  display: inline-block;
  padding: 5px 15px;
}
#dark:hover {
  text-decoration: none;
  background: #000;
  color: #fff;
  cursor: pointer;
}
/* End buttons prettifyswitch */
.prettyprint {
  letter-spacing: 0 !important;
  background: #fff;
  font-family: Menlo, "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Monaco, Consolas, monospace;
  font-size: 16px;
  border-left: 1px solid #949494;
  border-right: 1px solid #949494;
  border-bottom: 1px solid #949494;
  padding: 10px 0;
  margin: 0 auto;
  max-height: 300px;
  max-width: 800px;
  overflow: auto;
}
.pln {
  color: #000;
}
ol.linenums {
  margin-top: 0;
  margin-bottom: 0;
  padding: 5px 10px 5px 46px;
}
li.L0, li.L1, li.L2, li.L3, li.L4, li.L5, li.L6, li.L7, li.L8, li.L9 {
  color: #66747B;
  list-style-type: decimal;
}
.str {
  color: #718c00;
}
.kwd {
  color: #6500A8;
}
.com {
  color: #8e908c;
}
.typ {
  color: #004BAE;
}
.lit {
  color: #f5871f;
}
.pun {
  color: #F57600;
}
.opn {
  color: #4d4d4c;
}
.clo {
  color: #4d4d4c;
}
.tag {
  color: #C80000;
}
.atn {
  color: #F57600;
}
.atv {
  color: #00949F;
}
.dec {
  color: #F57600;
}
.var {
  color: #C80000;
}
.fun {
  color: #4271ae;
}