/* Page Style */

body {
  background: #FFF;
  color: #222;
  font-family: "DejaVu Sans", "SF Pro Text", Verdana, sans-serif;
  font-style: normal;
  line-height: 1.6em;
  margin: 0 auto 0 auto;
  max-width: 60em;
  padding: 1em;
}

h1 {
  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
  font-size: 2.38em;
  font-weight: 600;
  line-height: 1.41em;
  margin: 0 0 0.25em 0;
}

h2 {
  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
  font-size: 1.68em;
  font-weight: 600;
  line-height: 1.3em;
  margin: 1.25em 0 0.5em 0;
}

h3 {
  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
  font-size: 1.41em;
  font-weight: 600;
  line-height: 1.19em;
  margin: 1.25em 0 0.5em 0;
}

h4 {
  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
  font-size: 1.19em;
  font-weight: 600;
  line-height: 1.09em;
  margin: 1.25em 0 0.5em 0;
}

h5, h6 {
  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
  font-size: 1em;
  font-weight: 600;
  line-height: 1em;
  margin: 1.25em 0 0.5em 0;
}

a:link {
  color: #546E00;
  text-decoration: none;
}

a:visited {
  color: #3C4F00;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

table {
  border-collapse: collapse;
  border-style: hidden;
  margin: 0.5em;
  border: 0;
  empty-cells: hide;
}

th {
  background-color: #F8F8F8;
  font-weight: bold;
  text-align: left;
  vertical-align: text-top;
}

td, th {
  border: 1px solid #DDD;
  padding: 0.25em 0.5em 0.25em 0.5em;
}

time, #sitename, .postmeta {
  color: #999;
  font-size: 75%;
}

img {
  border: none;
  max-width: 100%;
}

div.figures {
  text-align: center;
  margin: 1em auto;
}

figcaption {
  text-align: center;
  margin-top: 0.5ex;
}

figure {
  margin: 0.75em;
  display: inline-block;
}

figure.img {
  display: block;
}

img.figure {
  display: block;
  margin: 0;
}

blockquote {
  color: #333;
  margin: 0;
  padding: 0 4em 0 4em;
}

p {
  margin: 1em 0 0.75em 0;
}

p.caption {
  font-size: 80%;
  margin-top: 0;
}

ul, ol {
  margin: 0;
  padding: 0 0 0 2em;
}

strong {
  font-weight: bold;
}

pre {
  overflow: auto;
  padding: 0.25em;
  margin: 0.5em;
}

hr {
  border: 0;
  height: 0;
  border-top: 1px dashed #DDD;
}

nav {
  border-bottom: 1px dashed #DDD;
  margin: 0;
  padding: 0.5em;
}

nav ul {
  margin: 0;
  padding: 0;
}

nav li {
  display: inline;
  margin-right: 0.5em;
}

.footer {
  font-size: xx-small;
  color: #AAA;
  margin: 0;
  padding: 0.25em;
  width: 100%;
}

#logo {
  vertical-align: middle;
}

header a#page-title {
  font-weight: bold;
  font-size: x-large;
  color: black;
}

#content {
  padding: 0.5em 1em 0.5em 1em;
}

.highlight {
  font-family: monospace;
  border: solid 1px #DDD;
  border-radius: 6px;
}

.article {
  margin: 0 0 2em 0;
}

.article h2 {
  margin-bottom: 0;
  padding-bottom: 0;
}

/* Pygments Style */

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

.err {
  border: 1px solid #DC322F;
}

.k {
  color: #888;
}

.o {
  color: #839496;
}

.cm {
  color: #6C71C4;
  font-style: italic;
}

.cp {
  color: #D33682;
}

.c1 {
  color: #6C71C4;
  font-style: italic;
}

.cs {
  color: #6C71C4;
  font-style: italic;
}

.gd {
  color: #A00000;
}

.ge {
  font-style: italic;
}

.gr {
  color: #DC322F;
}

.gh {
  color: #6C71C4;
  font-weight: bold;
}

.gi {
  color: #859900;
}

.go {
  color: #808080;
}

.gp {
  color: #268BD2;
  font-weight: bold;
}

.gs {
  font-weight: bold;
}

.gu {
  color: #800080;
  font-weight: bold;
}

.gt {
  color: #0040D0;
}

.kc {
  color: #586E75;
  font-weight: bold;
}

.kd {
  color: #586E75;
  font-weight: bold;
}

.kn {
  color: #586E75;
  font-weight: bold;
}

.kp {
  color: #586E75;
}

.kr {
  color: #586E75;
  font-weight: bold;
}

.kt {
  color: #546E00;
}

.m {
  color: #666;
}

.s {
  color: #CB4B16;
}

.na {
  color: #7D9029;
}

.nb {
  color: #008000;
}

.nc {
  color: #000;
}

.no {
  color: #880;
}

.nd {
  color: #A2F;
}

.ni {
  color: #999;
  font-weight: bold;
}

.ne {
  color: #D2413A;
  font-weight: bold;
}

.nf {
  color: #000;
}

.nl {
  color: #A0A000;
}

.nn {
  color: #555;
}

.nt {
  color: #232;
}

.nv {
  color: #222;
}

.ow {
  color: #A2F;
  font-weight: bold;
}

.w {
  color: #BBB;
}

.mf {
  color: #000;
}

.mh {
  color: #000;
}

.mi {
  color: #000;
}

.mo {
  color: #000;
}

.sb {
  color: #CB4B16;
}

.sc {
  color: #CB4B16;
}

.sd {
  color: #CB4B16;
  font-style: italic;
}

.s2 {
  color: #CB4B16;
}

.se {
  color: #B62;
  font-weight: bold;
}

.sh {
  color: #CB4B16;
}

.si {
  color: #B68;
  font-weight: bold;
}

.sx {
  color: #008000;
}

.sr {
  color: #B68;
}

.s1 {
  color: #CB4B16;
}

.ss {
  color: #00629D;
}

.bp {
  color: #008000;
}

.vc {
  color: #00629D;
}

.vg {
  color: #00629D;
}

.vi {
  color: #00629D;
}

.il {
  color: #666;
}

.p {
  color: #888;
}