.header * {
    margin:0;
}

.header p {
    color: rgb(145, 145, 145);
    font-size:0.8em;
}

hr {
    border:none;
    border-top: 1px solid rgb(207,207,207);
}

blockquote {
    border-left: 3px solid rgb(207, 207, 207);
    padding-left:10px;
}

.footnotes {
    font-size: 0.7em;
    margin-top: 30px;
}

pre {
    border-radius: 5px;
    padding:15px;
}

code, code span{
    font-family: 'Fira Code','Courier New', Courier, monospace;
}

code {
    background:rgb(224, 224, 224);
    padding:0px 5px;
    border-radius: 2px;
}

.highlight code {
    background: none;
    padding:0;
    border-radius: 0;
}

.highlight pre{
    font-size: 0.9em;
    overflow:scroll;
}

/* Fixes iOS font sizing anomaly */
pre {
    text-size-adjust: 100%; 
    -ms-text-size-adjust: 100%; 
    -moz-text-size-adjust: 100%; 
    -webkit-text-size-adjust: 100%;
}