body {
    font-family: 'proxima-nova', sans-serif;
    padding-bottom: 45px; /* iPhone screen fix */
}

strong {
    font-weight: 600;
}

a.navbar-brand {
    color: inherit;
    font-weight: 600;
    padding-left: 0;
}

a.navbar-brand:hover {
    text-decoration: underline;
}

p.navbar-links > a, .nav > li > a {
    color: #999;
    background-color: inherit;
    padding: 15px 6px;
}

.nav > li > a:hover {
    color: #337ab7;
    background-color: inherit;
}

p.post-description {
    margin-bottom: 15px;
}

p.subscribe {
    margin-top: 30px;
}

a.icon-link:hover {
    text-decoration: none;
}
a.icon-link:hover > span.link-text {
    text-decoration: underline;
}

.contact-card {
    padding: 15px 0 0 0;
    list-style: none;
}
.contact-card > li {
    height: 26px;
}
.contact-card a .fa {
    color: #333;
}
div.index h3 {
    font-size: 22px;
    margin-top: 45px;
}
div.index h3.first {
    margin-top: 30px;
}

div.index h4 {
    /*margin-top: 10px;*/
}

h1, h2, h3 {
    margin-top: 30px;
}

h4, h5, h6 {
    margin-top: 20px;
}
.h1, .h2, .h3, .h4, h1, h2, h3, h4 {
    font-weight: 400;
}
.h5, .h6, h5, h6 {
    font-weight: 500;
}
p.caption {
    text-align: center;
    margin: 0 20px 20px 20px;
    font-size: 13px;
}
ol ol {
    list-style-type: lower-alpha;
}
.equation {
    text-align: center;
    font-size: 16px;
    font-weight: 300;
    line-height: 2;
}
table.equation {
    margin: auto;
    margin-bottom: 10px;
}
span.equation, var {
    font-weight: 300;
    font-style: normal;
}
a:target {
    padding: .2em;
    background-color: #fcf8e3;
}
.underline {
    text-decoration: underline;
}


/* OpenType */
.opentype-frac {
  font-variant-numeric: diagonal-fractions;
  -moz-font-feature-settings: "frac";
  -webkit-font-feature-settings: "frac";
  font-feature-settings: "frac";
}


/* Syntax highlighting */

code, kbd, pre, samp, .monospace {
    font-family: "droid-sans-mono", Menlo, Monaco, Consolas, "Courier New", monospace;
    font-size: 12px;
}

pre {
    background-color: #f9f9f9;
    border: 0;
}

code {
    background-color: #f9f9f9;
    color: inherit;
}

/* Responsive .highlight > pre blocks */
.highlight {
    min-height: .01%;
    overflow-x: auto
}
@media screen and (max-width:767px) {
    .highlight {
        width: 100%;
        overflow-y: hidden;
        -ms-overflow-style: -ms-autohiding-scrollbar;
    }
    .highlight pre {
        word-wrap: normal;
    }
}

/* Token classes generated by pygments */
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #aaaaaa; font-style: italic } /* Comment */
.highlight .err { color: #F00000; background-color: #F0A0A0 } /* Error */
.highlight .k { color: #1f4fcf } /* Keyword */
.highlight .cm { color: #aaaaaa; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #4c8317 } /* Comment.Preproc */
.highlight .c1 { color: #aaaaaa; font-style: italic } /* Comment.Single */
.highlight .cs { color: #1f4fcf; font-style: italic } /* Comment.Special */
.highlight .gd { color: #aa0000 } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.highlight .gi { color: #00aa00 } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #1f4fcf } /* Keyword.Constant */
.highlight .kd { color: #1f4fcf } /* Keyword.Declaration */
.highlight .kn { color: #1f4fcf } /* Keyword.Namespace */
.highlight .kp { color: #1f4fcf } /* Keyword.Pseudo */
.highlight .kr { color: #1f4fcf } /* Keyword.Reserved */
.highlight .kt { color: #4f9fcf } /* Keyword.Type */
.highlight .m { color: #4f9fcf } /* Literal.Number */
.highlight .s { color: #d44950 } /* Literal.String */
.highlight .na { color: #1e90ff } /* Name.Attribute */
.highlight .nb { color: #4f9fcf } /* Name.Builtin */
.highlight .nc { color: #00aa00; text-decoration: underline } /* Name.Class */
.highlight .no { color: #0099ff } /* Name.Constant */
.highlight .nd { color: #888888 } /* Name.Decorator */
.highlight .ni { color: #800000; font-weight: bold } /* Name.Entity */
.highlight .nf { color: #3faf3f; } /* Name.Function */
.highlight .nn { color: #4f9fcf; text-decoration: underline } /* Name.Namespace */
.highlight .nt { color: #1e90ff; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #aa0000 } /* Name.Variable */
.highlight .ow { color: #1f4fcf } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mf { color: #4f9fcf } /* Literal.Number.Float */
.highlight .mh { color: #4f9fcf } /* Literal.Number.Hex */
.highlight .mi { color: #4f9fcf } /* Literal.Number.Integer */
.highlight .mo { color: #4f9fcf } /* Literal.Number.Oct */
.highlight .sb { color: #aa5500 } /* Literal.String.Backtick */
.highlight .sc { color: #aa5500 } /* Literal.String.Char */
.highlight .sd { color: #aa5500 } /* Literal.String.Doc */
.highlight .s2 { color: #aa5500 } /* Literal.String.Double */
.highlight .se { color: #b42930 } /* Literal.String.Escape */
.highlight .sh { color: #aa5500 } /* Literal.String.Heredoc */
.highlight .si { color: #aa5500 } /* Literal.String.Interpol */
.highlight .sx { color: #aa5500 } /* Literal.String.Other */
.highlight .sr { color: #4f9fcf } /* Literal.String.Regex */
.highlight .s1 { color: #aa5500 } /* Literal.String.Single */
.highlight .ss { color: #1f4fcf } /* Literal.String.Symbol */
.highlight .bp { color: #4f9fcf } /* Name.Builtin.Pseudo */
.highlight .vc { color: #aa0000 } /* Name.Variable.Class */
.highlight .vg { color: #aa0000 } /* Name.Variable.Global */
.highlight .vi { color: #aa0000 } /* Name.Variable.Instance */
.highlight .il { color: #4f9fcf } /* Literal.Number.Integer.Long */


/* Tables */

.container .table>thead>tr>th {
    font-weight: 600;
}
.container .table>thead>tr>th,
.container .table>tbody>tr.separator>td {
    border-bottom: 1px solid #e7e7e7;
}
.container .table>tbody>tr.separated>td {
    border-top: 1px solid #e7e7e7;
}
.container .table>tbody>tr>td, .container .table>thead>tr>th {
    border-top: 0;
    padding-left: 0;
    padding-right: 0;
}
.container .table.table-condensed>thead>tr>th,
.container .table.table-condensed>tbody>tr>td {
    padding: 5px 8px;
}
.container .table.table-extra-condensed>thead>tr>th,
.container .table.table-extra-condensed>tbody>tr>td {
    padding: 2px 8px;
}
.table-fixed {
    table-layout: fixed;
}
table.table-fixed>tbody>tr>td {
    padding: 0;
}
.table-fixed>tbody>tr>td.cell-left {
    padding-right: 8px;
}
.table-fixed>tbody>tr>td.cell-middle {
    padding: 0 4px;
}
.table-fixed>tbody>tr>td.cell-right {
    padding-left: 8px;
}
.table-fixed>tbody>tr.caption>td {
    padding-top: 8px;
    padding-bottom: 8px;
    font-size: 13px;
}
.table-captioned {
    margin-bottom: 0;
}
.container .table-center>tbody>tr>td {
    text-align: center;
}
.table-middle>tbody>tr>td {
    vertical-align: middle;
}

/* Decompiler post */
#control-flow-types img {
    margin: auto;
    max-height: 202px;
}
#control-flow-ack img {
    margin: auto;
    max-height: 364px;
}

/* Emulator post */
#address-map {
    max-width: 320px;
    margin: auto;
    margin-bottom: 20px;
}
#address-map code {
    background-color: transparent;
    padding: 0;
}
#vector-table {
    max-width: 450px;
    margin: auto;
    margin-bottom: 20px;
}
#methods-vars {
    width: auto;
    margin: auto;
    margin-bottom: 20px;
}
#methods-vars>tbody>tr>td {
    padding: 0 8px;
}
.circuits img {
    max-height: 166px;
}
#freon-guy>tbody>tr>td.freon-guy-right {
    width: 20%;
    vertical-align: middle;
}
#data-path-image>p>img {
    margin: auto;
}
@media screen and (min-width:600px) {
    #data-path-image {
        float: right;
        display: inline-block;
        padding-left: 20px;
    }
    #data-path-image > p.caption {
        margin-bottom: 10px;
    }
}