pre {
  font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  font-size: 1em;
  margin-top: 0;
  margin-bottom: 1rem;
  overflow: auto;
}


pre.sh_sourceCode {
  background-color: #eeeeee;
  color: #000000;
  font-weight: normal;
  font-style: normal;
  counter-reset: line;
}

pre.sh_sourceCode .sh_keyword {
  color: #bb7977;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_type {
  color: #8080c0;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_string {
  color: #a68500;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_regexp {
  color: #a68500;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_specialchar {
  color: #ff00ff;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_comment {
  color: #ff8000;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_number {
  color: #800080;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_preproc {
  color: #0080c0;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_symbol {
  color: #ff0080;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_function {
  color: #004466;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_cbracket {
  color: #ff0080;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_url {
  color: #a68500;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_date {
  color: #bb7977;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_time {
  color: #bb7977;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_file {
  color: #bb7977;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_ip {
  color: #a68500;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_name {
  color: #a68500;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_variable {
  color: #0080c0;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_oldfile {
  color: #ff00ff;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_newfile {
  color: #a68500;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_difflines {
  color: #bb7977;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_selector {
  color: #0080c0;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode .sh_property {
  color: #bb7977;
  font-weight: bold;
  font-style: normal;
}

pre.sh_sourceCode .sh_value {
  color: #a68500;
  font-weight: normal;
  font-style: normal;
}

pre.sh_sourceCode i {
  counter-increment: line;
  width: 35px;
  display: inline-block;
  text-align: right;
  padding-right: 3px;
  border-right: 1px solid #c0c0c0;
  color: #c0c0c0;
}

pre.sh_sourceCode i:before {
  content: counter(line);
  -webkit-user-select: none;
}