pre.prettyprint {
  background: #f5f5f5;
  padding: 9px;
  border: 1px solid rgba(0, 0, 0, 0.2);
  -webkit-box-shadow: 0 1px 2px rgba(0, 0, 0, 0.1);
  -moz-box-shadow: 0 1px 2px rgba(0, 0, 0, 0.1);
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.1);
}

.code-container {
  position: relative;
}

button.copy-btn {
  position: absolute;
  top: 1px;
  right: 4px;
  cursor: pointer;
  background: none;
  -webkit-text-stroke: 1px #cacdcf;
  color: #f5f5f5;
  padding: 8px;
}

button.copy-btn:hover {
  -webkit-text-stroke: 1px #333;
}

/* Specify class=linenums on a pre to get line numbering */
/* IE indents via margin-left */
ol.linenums {
  margin: 0 0 0 40px;
}
ol.linenums li {
  color: #bbb;
  line-height: 20px;
}

/*
$base03:    #002b36;
$base02:    #073642;
$base01:    #586e75;
$base00:    #657b83;
$base0:     #839496;
$base1:     #93a1a1;
$base2:     #eee8d5;
$base3:     #fdf6e3;
$yellow:    #b58900;
$orange:    #cb4b16;
$red:       #dc322f;
$magenta:   #d33682;
$violet:    #6c71c4;
$blue:      #268bd2;
$cyan:      #2aa198;
$green:     #859900;
*/ /*! Color themes for Google Code Prettify | MIT License | github.com/jmblog/color-themes-for-google-code-prettify */
.prettyprint {
  background: #fff;
  font-family: Menlo, 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Consolas, monospace;
  border: 0 !important;
}

.pln {
  color: #333;
}

/* Specify class=linenums on a pre to get line numbering */
ol.linenums {
  color: #cccccc;
}

li.L0,
li.L1,
li.L2,
li.L3,
li.L4,
li.L5,
li.L6,
li.L7,
li.L8,
li.L9 {
  padding-left: 1em;
  background-color: #fff;
  list-style-type: decimal;
}

@media screen {
  /* string content */

  .str {
    color: #d14;
  }

  /* keyword */

  .kwd {
    color: #00aeea; /* KeyLines blue */
  }

  /* comment */

  .com {
    color: #aaaaaa;
  }

  /* type name */

  .typ {
    color: #00aa70;
  }

  /* literal value */

  .lit {
    color: #458;
  }

  /* punctuation */

  .pun {
    color: #333;
  }

  /* lisp open bracket */

  .opn {
    color: #333;
  }

  /* lisp close bracket */

  .clo {
    color: #333;
  }

  /* markup tag name */

  .tag {
    color: #000080;
  }

  /* markup attribute name */

  .atn {
    color: #008080;
  }

  /* markup attribute value */

  .atv {
    color: #d14;
  }

  /* declaration */

  .dec {
    color: #333;
  }

  /* variable name */

  .var {
    color: #008080;
  }

  /* function name */

  .fun {
    color: #900;
  }
}

/* overrides for small code snippets */

code.black {
  color: #333;
}
code.blue {
  color: #00aeea;
}