/* Generated with `pygmentize -S default -f html` */
.hll {
  background-color: #ffffcc; }

.c {
  color: #408080;
  font-style: italic; }

/* Comment */
.err {
  border: 1px solid red; }

/* Error */
.k {
  color: #008000;
  font-weight: bold; }

/* Keyword */
.o {
  color: #666666; }

/* Operator */
.cm {
  color: #408080;
  font-style: italic; }

/* Comment.Multiline */
.cp {
  color: #bc7a00; }

/* Comment.Preproc */
.c1 {
  color: #408080;
  font-style: italic; }

/* Comment.Single */
.cs {
  color: #408080;
  font-style: italic; }

/* Comment.Special */
.gd {
  color: #a00000; }

/* Generic.Deleted */
.ge {
  font-style: italic; }

/* Generic.Emph */
.gr {
  color: red; }

/* Generic.Error */
.gh {
  color: #000080;
  font-weight: bold; }

/* Generic.Heading */
.gi {
  color: #00a000; }

/* Generic.Inserted */
.go {
  color: gray; }

/* Generic.Output */
.gp {
  color: #000080;
  font-weight: bold; }

/* Generic.Prompt */
.gs {
  font-weight: bold; }

/* Generic.Strong */
.gu {
  color: #800080;
  font-weight: bold; }

/* Generic.Subheading */
.gt {
  color: #0040d0; }

/* Generic.Traceback */
.kc {
  color: #008000;
  font-weight: bold; }

/* Keyword.Constant */
.kd {
  color: #008000;
  font-weight: bold; }

/* Keyword.Declaration */
.kn {
  color: #008000;
  font-weight: bold; }

/* Keyword.Namespace */
.kp {
  color: green; }

/* Keyword.Pseudo */
.kr {
  color: #008000;
  font-weight: bold; }

/* Keyword.Reserved */
.kt {
  color: #b00040; }

/* Keyword.Type */
.m {
  color: #666666; }

/* Literal.Number */
.s {
  color: #ba2121; }

/* Literal.String */
.na {
  color: #7d9029; }

/* Name.Attribute */
.nb {
  color: green; }

/* Name.Builtin */
.nc {
  color: #0000FF;
  font-weight: bold; }

/* Name.Class */
.no {
  color: #880000; }

/* Name.Constant */
.nd {
  color: #aa22ff; }

/* Name.Decorator */
.ni {
  color: #999999;
  font-weight: bold; }

/* Name.Entity */
.ne {
  color: #D2413A;
  font-weight: bold; }

/* Name.Exception */
.nf {
  color: blue; }

/* Name.Function */
.nl {
  color: #a0a000; }

/* Name.Label */
.nn {
  color: #0000FF;
  font-weight: bold; }

/* Name.Namespace */
.nt {
  color: #008000;
  font-weight: bold; }

/* Name.Tag */
.nv {
  color: #19177c; }

/* Name.Variable */
.ow {
  color: #AA22FF;
  font-weight: bold; }

/* Operator.Word */
.w {
  color: #bbbbbb; }

/* Text.Whitespace */
.mf {
  color: #666666; }

/* Literal.Number.Float */
.mh {
  color: #666666; }

/* Literal.Number.Hex */
.mi {
  color: #666666; }

/* Literal.Number.Integer */
.mo {
  color: #666666; }

/* Literal.Number.Oct */
.sb {
  color: #ba2121; }

/* Literal.String.Backtick */
.sc {
  color: #ba2121; }

/* Literal.String.Char */
.sd {
  color: #BA2121;
  font-style: italic; }

/* Literal.String.Doc */
.s2 {
  color: #ba2121; }

/* Literal.String.Double */
.se {
  color: #BB6622;
  font-weight: bold; }

/* Literal.String.Escape */
.sh {
  color: #ba2121; }

/* Literal.String.Heredoc */
.si {
  color: #BB6688;
  font-weight: bold; }

/* Literal.String.Interpol */
.sx {
  color: green; }

/* Literal.String.Other */
.sr {
  color: #bb6688; }

/* Literal.String.Regex */
.s1 {
  color: #ba2121; }

/* Literal.String.Single */
.ss {
  color: #19177c; }

/* Literal.String.Symbol */
.bp {
  color: green; }

/* Name.Builtin.Pseudo */
.vc {
  color: #19177c; }

/* Name.Variable.Class */
.vg {
  color: #19177c; }

/* Name.Variable.Global */
.vi {
  color: #19177c; }

/* Name.Variable.Instance */
.il {
  color: #666666; }

/* Literal.Number.Integer.Long */
body {
  font-family: Cochin, serif;
  font-size: 12pt;
  margin: 0;
  padding: 0; }
  body > div {
    position: relative;
    width: 700px;
    padding-left: 100px;
    margin: 0 auto;
    padding-bottom: 20px;
    padding-right: 20px; }
    body > div > * {
      padding: 0 0 0 10px; }
    body article img {
      width: 700px; }

#header {
  padding-top: 1em;
  padding-bottom: 1em; }

#nav {
  position: absolute;
  text-align: right;
  width: 90px;
  left: 0;
  padding: 0;
  padding-top: 13px; }
  #nav ul {
    padding: 0;
    margin: 0; }
    #nav ul li {
      list-style: none;
      padding: 0.2em; }
      #nav ul li a {
        display: block;
        color: #aaaaaa;
        text-decoration: none; }
        #nav ul li a:hover {
          color: black; }

#footer {
  color: #aaaaaa;
  width: 350px;
  text-align: center;
  font-size: small;
  padding-top: 25px;
  position: absolute;
  left: 50%;
  margin-left: -175px; }
  #footer ul {
    padding: 0;
    margin: 0; }
    #footer ul li {
      list-style: none;
      display: inline;
      padding: 0;
      margin: 0; }
      #footer ul li:before {
        content: '|'; }
      #footer ul li:first-child:before {
        content: ''; }
      #footer ul li a {
        padding: 0 0.5em;
        color: #aaaaaa;
        text-decoration: none; }
        #footer ul li a:hover {
          color: black; }
  #footer p {
    padding: 0;
    margin: 0; }

h1.post-title a {
  color: inherit;
  text-decoration: none; }

ul.posts {
  padding: 0;
  margin: 0; }
  ul.posts li {
    line-height: 1.5;
    list-style: none; }
    ul.posts li .post-date {
      display: inline-block;
      width: 150px;
      text-align: right;
      padding-right: 0.3em;
      color: #aaaaaa; }
    ul.posts li a {
      color: inherit;
      text-decoration: none; }
      ul.posts li a:hover {
        text-decoration: underline; }

pre, code {
  font-family: Monaco, monospace;
  font-size: 10pt; }

pre {
  border-radius: 2px;
  border: solid 1px #aaaaaa;
  padding: 0.5em 1.0em; }