body {
  display: flex;
  flex-direction: column; }
  body header {
    flex-grow: 0; }
  body .page-content {
    flex-grow: 1; }

* {
  margin: 0;
  padding: 0;
  font-family: Helvetica, Arial, sans-serif; }

p {
  font-size: 16px; }

h1 {
  font-size: 2em; }

ul.separated-list li {
  margin-bottom: 15px; }

ul {
  padding: 10px; }

li {
  margin-left: 10px; }

p {
  margin-top: 20px; }

.highlight {
  margin-top: 15px;
  margin-bottom: 15px;
  border: 1px dashed green; }
  .highlight * {
    font-family: monospace; }

.nav-links {
  background-color: #d8d8d8;
  padding: 4px;
  transition: width 1s ease-in; }
  .nav-links li {
    display: inline;
    list-style-type: none;
    margin-left: 10px; }
    .nav-links li a {
      color: black;
      text-decoration: none; }
    .nav-links li:first-child {
      margin-left: 20px; }

.tag-list {
  display: inline; }
  .tag-list .post-tag {
    display: inline-block;
    padding: 4px;
    border-radius: 10%;
    margin-left: 0px; }
  .tag-list .tag-scala {
    background-color: teal; }
  .tag-list .tag-programming {
    background-color: cornflowerblue; }
  .tag-list .tag-javascript {
    background-color: darkolivegreen; }
  .tag-list .tag-PHP {
    background-color: purple; }
  .tag-list .tag-D {
    background-color: crimson; }
  .tag-list .tag-erlang {
    background-color: turquoise; }
  .tag-list .tag-rant {
    background-color: orange; }
  .tag-list .tag-python {
    background-color: greenyellow; }
  .tag-list .tag-music {
    background-color: lightsalmon; }
  .tag-list .tag-hardware {
    background-color: tan; }
  .tag-list .tag-miscellaneous {
    background-color: slategrey; }

.post-header {
  margin-bottom: 20px; }
  .post-header .post-timestamp {
    color: #666;
    font-size: 12px; }
  .post-header .gh-link {
    color: #666;
    text-decoration: none; }

.page-content {
  margin-top: 20px;
  margin-left: 20px;
  margin-right: 20px; }
  .page-content h2 {
    margin-top: 15px; }

.post-list {
  list-style-type: none;
  padding: 0px; }

code {
  font-family: "Courier New"; }

/**
 * Syntax highlighting styles
 */
.highlight {
  background: #fff; }
  .highlight .c {
    color: #998;
    font-style: italic; }
  .highlight .err {
    color: #a61717;
    background-color: #e3d2d2; }
  .highlight .k {
    font-weight: bold; }
  .highlight .o {
    font-weight: bold; }
  .highlight .cm {
    color: #998;
    font-style: italic; }
  .highlight .cp {
    color: #999;
    font-weight: bold; }
  .highlight .c1 {
    color: #998;
    font-style: italic; }
  .highlight .cs {
    color: #999;
    font-weight: bold;
    font-style: italic; }
  .highlight .gd {
    color: #000;
    background-color: #fdd; }
  .highlight .gd .x {
    color: #000;
    background-color: #faa; }
  .highlight .ge {
    font-style: italic; }
  .highlight .gr {
    color: #a00; }
  .highlight .gh {
    color: #999; }
  .highlight .gi {
    color: #000;
    background-color: #dfd; }
  .highlight .gi .x {
    color: #000;
    background-color: #afa; }
  .highlight .go {
    color: #888; }
  .highlight .gp {
    color: #555; }
  .highlight .gs {
    font-weight: bold; }
  .highlight .gu {
    color: #aaa; }
  .highlight .gt {
    color: #a00; }
  .highlight .kc {
    font-weight: bold; }
  .highlight .kd {
    font-weight: bold; }
  .highlight .kp {
    font-weight: bold; }
  .highlight .kr {
    font-weight: bold; }
  .highlight .kt {
    color: #458;
    font-weight: bold; }
  .highlight .m {
    color: #099; }
  .highlight .s {
    color: #d14; }
  .highlight .na {
    color: #008080; }
  .highlight .nb {
    color: #0086B3; }
  .highlight .nc {
    color: #458;
    font-weight: bold; }
  .highlight .no {
    color: #008080; }
  .highlight .ni {
    color: #800080; }
  .highlight .ne {
    color: #900;
    font-weight: bold; }
  .highlight .nf {
    color: #900;
    font-weight: bold; }
  .highlight .nn {
    color: #555; }
  .highlight .nt {
    color: #000080; }
  .highlight .nv {
    color: #008080; }
  .highlight .ow {
    font-weight: bold; }
  .highlight .w {
    color: #bbb; }
  .highlight .mf {
    color: #099; }
  .highlight .mh {
    color: #099; }
  .highlight .mi {
    color: #099; }
  .highlight .mo {
    color: #099; }
  .highlight .sb {
    color: #d14; }
  .highlight .sc {
    color: #d14; }
  .highlight .sd {
    color: #d14; }
  .highlight .s2 {
    color: #d14; }
  .highlight .se {
    color: #d14; }
  .highlight .sh {
    color: #d14; }
  .highlight .si {
    color: #d14; }
  .highlight .sx {
    color: #d14; }
  .highlight .sr {
    color: #009926; }
  .highlight .s1 {
    color: #d14; }
  .highlight .ss {
    color: #990073; }
  .highlight .bp {
    color: #999; }
  .highlight .vc {
    color: #008080; }
  .highlight .vg {
    color: #008080; }
  .highlight .vi {
    color: #008080; }
  .highlight .il {
    color: #099; }