.highlight {
  background: #ffffff;
}
.highlight .c {
  color: #999988;
  font-style: italic;
}
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2;
}
.highlight .k, .highlight .o {
  font-weight: bold;
}
.highlight .cm {
  color: #999988;
  font-style: italic;
}
.highlight .cp {
  color: #999999;
  font-weight: bold;
}
.highlight .c1 {
  color: #999988;
  font-style: italic;
}
.highlight .cs {
  color: #999999;
  font-weight: bold;
  font-style: italic;
}
.highlight .gd {
  color: #000000;
  background-color: #ffdddd;
}
.highlight .gd .x {
  color: #000000;
  background-color: #ffaaaa;
}
.highlight .ge {
  font-style: italic;
}
.highlight .gr {
  color: #aa0000;
}
.highlight .gh {
  color: #999999;
}
.highlight .gi {
  color: #000000;
  background-color: #ddffdd;
}
.highlight .gi .x {
  color: #000000;
  background-color: #aaffaa;
}
.highlight .go {
  color: #888888;
}
.highlight .gp {
  color: #555555;
}
.highlight .gs {
  font-weight: bold;
}
.highlight .gu {
  color: #aaaaaa;
}
.highlight .gt {
  color: #aa0000;
}
.highlight .kc, .highlight .kd, .highlight .kp, .highlight .kr {
  font-weight: bold;
}
.highlight .kt {
  color: #445588;
  font-weight: bold;
}
.highlight .m {
  color: #009999;
}
.highlight .s {
  color: #d14;
}
.highlight .na {
  color: #008080;
}
.highlight .nb {
  color: #0086B3;
}
.highlight .nc {
  color: #445588;
  font-weight: bold;
}
.highlight .no {
  color: #008080;
}
.highlight .ni {
  color: #800080;
}
.highlight .ne, .highlight .nf {
  color: #990000;
  font-weight: bold;
}
.highlight .nn {
  color: #555555;
}
.highlight .nt {
  color: #000080;
}
.highlight .nv {
  color: #008080;
}
.highlight .ow {
  font-weight: bold;
}
.highlight .w {
  color: #bbbbbb;
}
.highlight .mf, .highlight .mh, .highlight .mi, .highlight .mo {
  color: #009999;
}
.highlight .sb, .highlight .sc, .highlight .sd, .highlight .s2, .highlight .se, .highlight .sh, .highlight .si, .highlight .sx {
  color: #d14;
}
.highlight .sr {
  color: #009926;
}
.highlight .s1 {
  color: #d14;
}
.highlight .ss {
  color: #990073;
}
.highlight .bp {
  color: #999999;
}
.highlight .vc, .highlight .vg, .highlight .vi {
  color: #008080;
}
.highlight .il {
  color: #009999;
}

.afs-bergamo-std {
  font-family: "Bergamo Std", "Baskerville", "Hoefler Text", "Palatino", "Georgia", "Times New Roman", serif;
  font-size: 1.000em;
}

.afs-inconsolata {
  font-family: "Inconsolata", Menlo, Courier New, Courier, Mono, monospace;
  font-size: 0.930em;
}

.afs-pt-sans {
  font-family: "PT Sans", "Arial", "Helvetica", "Lucida Grande", "Gill Sans", "Verdana", sans-serif;
  font-size: 1.000em;
}

#layout {
  margin: 1in;
}

#meta {
  float: right;
  width: 2.25in;
  margin-left: 0.75in;
  font-size: 14px;
}

#meta img {
  float: right;
  width: 1in;
  margin-left: 0.12in;
  border: 1px solid lightgray;
}

#header {
  border-bottom: 1px solid lightgray;
}

.title {
  margin-bottom: 0;
  padding-bottom: 0;
}

.postdate {
  font-size: 14px;
  font-style: italic;
  margin-top: 0;
  padding-top: 0;
  margin-bottom: 0.12in;
}

body {
  font-family: "Bergamo Std", "Baskerville", "Hoefler Text", "Palatino", "Georgia", "Times New Roman", serif;
  font-size: 16px;
}

pre {
  font-family: "Inconsolata", Menlo, Courier New, Courier, Mono, monospace;
  font-size: 12px;
  padding-top: 12px;
  padding-bottom: 12px;
  border-left: 1px solid #ccc;
  padding-left: 0.333em;
}

#header a, #header a:link, #header a:visited {
  text-decoration: none;
  color: black;
}

#header a:hover {
  text-decoration: underline;
}

h1 {
  font-size: 22px;
}

h2 {
  font-size: 20px;
}

h3 {
  font-size: 18px;
}

h4 {
  font-size: 16px;
}

#body a {
  text-decoration: underline;
}

#body img {
  border: 1px solid lightgray;
  padding: 0;
  margin: 0.25in;
  width: 2.5in;
}

#body img.float_left {
  float: left;
  margin-left: 0;
}

#body img.float_right {
  float: right;
  margin-right: 0;
}

#header h1 {
  font-size: 24px;
  font-family: "ChunkFive", Rockwell, serif;
}

.pullquote {
  float: left;
  padding: 0;
  padding-right: 0.25in;
  padding-top: 0.25in;
  padding-bottom: 0.25in;
  margin: 0;
  width: 2.5in;
  font-style: italic;
  font-weight: bold;
  font-size: 20px;
}

.no_bullets {
  list-style: none;
  margin-left: 0;
  padding-left: 1em;
  text-indent: -1em;
}

blockquote {
  border-left: 10px solid #ccc;
  margin: 1.5em 10px;
  padding: .5em 10px;
  quotes: "\201C" "\201D" "\2018" "\2019";
}

blockquote p {
  display: inline;
}

table {
  margin-left: auto;
  margin-right: auto;
  margin-top: 48px;
  margin-bottom: 48px;
}

table th, table td {
  font-family: "PT Sans", "Arial", "Helvetica", "Lucida Grande", "Gill Sans", "Verdana", sans-serif;
  font-size: 14px;
}

#meta, #related, #comments {
  display: none;
}