/* Pretty printing styles. Used with prettify.js. */

/* Colors from Solarized
$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;
*/
/* Colors from Tomorrow
#ffffff Background
#efefef Current Line
#d6d6d6 Selection
#4d4d4c Foreground
#8e908c Comment
#c82829 Red
#f5871f Orange
#eab700 Yellow
#718c00 Green
#3e999f Aqua
#4271ae Blue
#8959a8 Purple
*/

.str { color: #4271ae; }
.kwd { color: #718c00; }
.com { color: #8e908c; }
.typ { color: #4271ae; }
.lit { color: #3e999f; }
.pun { color: #4d4d4c; }
.pln { color: #4d4d4c; }
.tag { color: #3e999f; }
.atn { color: #718c00; }
.atv { color: #f5871f; }

@media print {
  .str { color: #060; }
  .kwd { color: #006; font-weight: bold; }
  .com { color: #600; font-style: italic; }
  .typ { color: #404; font-weight: bold; }
  .lit { color: #044; }
  .pun { color: #440; }
  .pln { color: #000; }
  .tag { color: #006; font-weight: bold; }
  .atn { color: #404; }
  .atv { color: #060; }
}

pre code { background-color: #efefef}
pre {
  /* background: #efefef url('../images/shadow.png') repeat-x 0 0; */
  background-color: #efefef;
  padding: 1em;
  overflow: auto;
  color: #4d4d4c;
  font-size: 0.8em;
  font-family: 'Inconsolata', Monaco, "Courier New", Courier, monospace;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
}