body {
  min-height: 800px;
  font-size: 16px;
  line-height: 1.6;
}

@media (min-width: 768px) {
  .container {
    max-width: 730px;
  }
}

.navbar-static-top {
  margin-bottom: 19px;
  font-size: 14px;
}

.navbar-form {
  margin-top: 10px;
}

.text-muted a {
  color: #6FADE4;
}

.header h1 {
  margin-bottom: 5px;
}

.center {
  text-align: center;
}

.left {
  text-align: left;
}

.right {
  text-align: right;
}

.header {
  margin-bottom: 20px;
}

.footer {
  margin-bottom: 20px;
  font-size: 14px;
}

.flipper {
  margin-top: 37px;
}

.list {
  margin-bottom: 0;
}

.list li {
  margin-bottom: 10px;
}

h2.list-year {
  color: #ccc;
}

pre {
  font-size: inherit;
}

code {
  background-color: transparent;
}

blockquote, blockquote p {
  font-family: "PT Serif", Georgia, "Times New Roman", serif;
  font-size: 20px;
  line-height: 1.6;
  font-style: italic;
}

/*
  Tomorrow theme for prettify.js
  https://github.com/chriskempson/tomorrow-theme
*/

/* plain text */
.pln {
  color: #4d4d4c;
}

@media screen {
  /* string content */
  .str {
    color: #718c00;
  }

  /* a keyword */
  .kwd {
    color: #8959a8;
  }

  /* a comment */
  .com {
    color: #8e908c;
  }

  /* a type name */
  .typ {
    color: #4271ae;
  }

  /* a literal value */
  .lit {
    color: #f5871f;
  }

  /* punctuation */
  .pun {
    color: #4d4d4c;
  }

  /* lisp open bracket */
  .opn {
    color: #4d4d4c;
  }

  /* lisp close bracket */
  .clo {
    color: #4d4d4c;
  }

  /* a markup tag name */
  .tag {
    color: #c82829;
  }

  /* a markup attribute name */
  .atn {
    color: #f5871f;
  }

  /* a markup attribute value */
  .atv {
    color: #3e999f;
  }

  /* a declaration */
  .dec {
    color: #f5871f;
  }

  /* a variable name */
  .var {
    color: #c82829;
  }

  /* a function name */
  .fun {
    color: #4271ae;
  }
}

/* Use higher contrast and text-weight for printable form. */
@media print, projection {
  .str {
    color: #006600;
  }

  .kwd {
    color: #006;
    font-weight: bold;
  }

  .com {
    color: #600;
    font-style: italic;
  }

  .typ {
    color: #404;
    font-weight: bold;
  }

  .lit {
    color: #004444;
  }

  .pun, .opn, .clo {
    color: #444400;
  }

  .tag {
    color: #006;
    font-weight: bold;
  }

  .atn {
    color: #440044;
  }

  .atv {
    color: #006600;
  }
}

/* Style */
pre.prettyprint {
  background: white;
  font-family: Menlo, "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Monaco, Consolas, monospace;
  font-size: 12px;
  line-height: 1.5;
  border: 1px solid #cccccc;
  padding: 10px;
}

/* Specify class=linenums on a pre to get line numbering */
ol.linenums {
  margin-top: 0;
  margin-bottom: 0;
}

/* IE indents via margin-left */
li.L0,
li.L1,
li.L2,
li.L3,
li.L4,
li.L5,
li.L6,
li.L7,
li.L8,
li.L9 {
  /* */
}

/* Alternate shading for lines */
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 {
  /* */
}

/*
  Prettyprint customization
*/

.linenums li {
  list-style-type: decimal;
  color: #ccc;
}

pre.prettyprint {
  border-color: #eee;
  background-color: #fffeee;
}

.btn-search {
  margin-left: -5px;
  padding: 4px 10px;
  font-size: 14px;
  color: #999;
  background-color: transparent;
}

pre.prettyprint {
  font-size: 13px;
}

/*
  Disqus customization
*/

#disqus_thread {
  padding-top:37px;
}

.highlight {
  margin-top: 37px;
  font-size: 17px;
}

@media (max-width: 768px) {
  .highlight {
    margin-top: 12px;
  }
}

.text-muted strong {
  color: #222222;
}
