@import "_fonts.scss";
@import "_mixins.scss";

body {
    @include fancy_sans;
    background: white;
    color: black;
    font-size: 12pt;
    margin: 0 5%;
}
.header-wrapper, #breadcrumbs, #page-navigation, .post-subtitle, .comment--form--wrapper, footer {
    display: none;
}
.post-source { display: none;}
.highlight {
    background: #f7f5f5 !important;
}
code, pre {
    background: #f7f5f5 !important;
    font-family: Consolas, Menlo, Monaco, "Lucida Console", "Liberation Mono", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace;
}
a {
}
pre {
    background: #f7f5f5 !important;
    padding: .5cm .25cm;
}
p code {
    padding: 0 .25cm;
}
.post-body img {
    width: 100%;
    border: 5px solid #f7f5f5;
}
.post-body p {
    font-size: 13pt;
}
.post-body h3 {
    font-size: 19pt;
}
.post-body h5 {
    font-size: 14pt;
}
.go:before {
    content: "$ ";
}
@page {
    @bottom-right{
        @include fancy_sans;
        @include smcaps;
        content: "Page " counter(page) " of " counter(pages);
        font-size: 6pt;
        color: #666;
        width: 2cm;
    }
}