.mono, .highlight pre {
  font-family: Menlo, Monaco, "Andale Mono", "lucida console", "Courier New", monospace; }

/* non highlighted code colors */
.highlight {
  border: 1px solid #05232b; }
  .highlight table td {
    vertical-align: top; }
  .highlight table td.code {
    width: 100%; }

.highlight .line-numbers {
  text-align: right;
  font-size: 13px;
  line-height: 1.45em;
  background: #073642;
  border-right: 1px solid #00232c;
  text-shadow: #021014 0 -1px;
  padding: 0 .8em .8em .8em;
  margin-top: 0;
  border-radius: 0; }
  .highlight .line-numbers span {
    color: #586e75; }

.highlight *::-moz-selection {
  background: #386774;
  color: inherit;
  text-shadow: #002b36 0 1px; }
.highlight *::-webkit-selection {
  background: #386774;
  color: inherit;
  text-shadow: #002b36 0 1px; }
.highlight *::selection {
  background: #386774;
  color: inherit;
  text-shadow: #002b36 0 1px; }

.highlight pre {
  background: #002b36;
  border-radius: 0.4em;
  border: 1px solid #05232b;
  line-height: 1.45em;
  font-size: 13px;
  margin-bottom: 2.1em;
  margin-top: 0;
  padding: .8em 1em;
  color: #93a1a1;
  overflow: auto;
  white-space: pre; }

.highlight .code {
  overflow: scroll;
  overflow-y: hidden;
  display: block;
  padding: 0 .8em 0 .8em;
  overflow-x: auto;
  line-height: 1.45em;
  background: #002b36;
  color: #93a1a1;
  /* Comment */
  /* Comment.Multiline */
  /* Comment.Preproc */
  /* Comment.Single */
  /* Comment.Special */
  /* Error */
  /* Keyword */
  /* Operator */
  /* Operator */
  /* Operator.Word */
  /* Generic.Deleted */
  /* Generic.Deleted.Specific */
  /* Generic.Emph */
  /* Generic.Heading */
  /* Generic.Inserted */
  /* Generic.Inserted.Specific */
  /* Generic.Strong */
  /* Generic.Subheading */
  /* Keyword.Constant */
  /* Keyword.Declaration */
  /* Keyword.Pseudo */
  /* Keyword.Reserved */
  /* Keyword.Type */
  /* Name.Attribute */
  /* Name.Builtin */
  /* Name.Class */
  /* Name.Constant */
  /* Name.Exception */
  /* Name.Function */
  /* Name.Namespace */
  /* Name.Tag */
  /* Name.Variable.Global */
  /* Name.Variable.Instance */
  /* Name.Variable */
  /* Literal.Number.Float */
  /* Literal.Number */
  /* Literal.Number.Hex */
  /* Literal.Number.Integer */
  /* Literal.String */
  /* Literal.String.Doc */
  /* Literal.String.Double */
  /* Literal.String.Escape */
  /* Literal.String.Interpol */
  /* Literal.String.Regex */
  /* Literal.String.Single */ }
  .highlight .code span {
    color: #93a1a1; }
  .highlight .code span {
    font-style: normal;
    font-weight: normal; }
  .highlight .code .c {
    color: #586e75;
    font-style: italic; }
  .highlight .code .cm {
    color: #586e75;
    font-style: italic; }
  .highlight .code .cp {
    color: #586e75;
    font-style: italic; }
  .highlight .code .c1 {
    color: #586e75;
    font-style: italic; }
  .highlight .code .cs {
    color: #586e75;
    font-weight: bold;
    font-style: italic; }
  .highlight .code .err {
    color: #dc322f;
    background: none; }
  .highlight .code .k {
    color: #cb4b16; }
  .highlight .code .o {
    color: #93a1a1;
    font-weight: bold; }
  .highlight .code .p {
    color: #93a1a1; }
  .highlight .code .ow {
    color: #2aa198;
    font-weight: bold; }
  .highlight .code .gd {
    color: #93a1a1;
    background-color: #372c34;
    display: inline-block; }
  .highlight .code .gd .x {
    color: #93a1a1;
    background-color: #4d2d33;
    display: inline-block; }
  .highlight .code .ge {
    color: #93a1a1;
    font-style: italic; }
  .highlight .code .gh {
    color: #586e75; }
  .highlight .code .gi {
    color: #93a1a1;
    background-color: #1a412b;
    display: inline-block; }
  .highlight .code .gi .x {
    color: #93a1a1;
    background-color: #355720;
    display: inline-block; }
  .highlight .code .gs {
    color: #93a1a1;
    font-weight: bold; }
  .highlight .code .gu {
    color: #6c71c4; }
  .highlight .code .kc {
    color: #859900;
    font-weight: bold; }
  .highlight .code .kd {
    color: #268bd2; }
  .highlight .code .kp {
    color: #cb4b16;
    font-weight: bold; }
  .highlight .code .kr {
    color: #d33682;
    font-weight: bold; }
  .highlight .code .kt {
    color: #2aa198; }
  .highlight .code .n {
    color: #268bd2; }
  .highlight .code .na {
    color: #268bd2; }
  .highlight .code .nb {
    color: #859900; }
  .highlight .code .nc {
    color: #d33682; }
  .highlight .code .no {
    color: #b58900; }
  .highlight .code .nl {
    color: #859900; }
  .highlight .code .ne {
    color: #268bd2;
    font-weight: bold; }
  .highlight .code .nf {
    color: #268bd2;
    font-weight: bold; }
  .highlight .code .nn {
    color: #b58900; }
  .highlight .code .nt {
    color: #268bd2;
    font-weight: bold; }
  .highlight .code .nx {
    color: #b58900; }
  .highlight .code .vg {
    color: #268bd2; }
  .highlight .code .vi {
    color: #268bd2; }
  .highlight .code .nv {
    color: #268bd2; }
  .highlight .code .mf {
    color: #2aa198; }
  .highlight .code .m {
    color: #2aa198; }
  .highlight .code .mh {
    color: #2aa198; }
  .highlight .code .mi {
    color: #2aa198; }
  .highlight .code .s {
    color: #2aa198; }
  .highlight .code .sd {
    color: #2aa198; }
  .highlight .code .s2 {
    color: #2aa198; }
  .highlight .code .se {
    color: #dc322f; }
  .highlight .code .si {
    color: #268bd2; }
  .highlight .code .sr {
    color: #2aa198; }
  .highlight .code .s1 {
    color: #2aa198; }
  .highlight .code div .gd, .highlight .code div .gd .x, .highlight .code div .gi, .highlight .code div .gi .x {
    display: inline-block;
    width: 100%; }

.highlight {
  margin-bottom: 0;
  background: #002b36;
  overflow-y: hidden;
  overflow-x: auto; }
  .highlight pre {
    background: none;
    border-radius: 0px;
    border: none;
    padding: 0;
    margin-bottom: 0; }

.highlight pre::-webkit-scrollbar, .highlight::-webkit-scrollbar {
  height: .8em;
  background: rgba(255, 255, 255, 0.15);
  cursor: pointer; }
.highlight pre::-webkit-scrollbar-thumb:horizontal, .highlight::-webkit-scrollbar-thumb:horizontal {
  background: rgba(255, 255, 255, 0.2);
  -webkit-border-radius: 4px;
  border-radius: 4px;
  cursor: pointer; }