/*
    Theme Name: mnmlist
    Theme URI: http://mathieu.agopian.info/mnmlist/theme.html
    Description: Theme adapted from http://mnmlist.com/theme/ from Leo Babauta, a very clean minimalist theme, without comments, search, archives or other features.
    Author: Mathieu Agopian
    Autor URI: http://mathieu.agopian.info

    This theme is uncopyrighted, free, and offered as is.
*/

@import url("pygment.css");

body {
    background: #fff;
    color: #333;
    font: 20px Hoefler Text, bodyfont, serif;
    line-height: 30px;
}

@media (min-width: 35em) {
    body {
        max-width: 30em;
        margin: 30px 14px 0 64px;
    }
}

@mixin heading ($font-size, $color: #666) {
    color: $color;
    font-family: Helvetica, sans-serif;
    font-size: $font-size;
}

body > header > h1 {
    @include heading(1.7em, #333);
    font-weight: normal;
    margin-bottom: 0;
    a {
        border-bottom: 0;
    }
}
body > header > nav {
    margin-bottom: 2em;
    background: #fff;
    color: #666;
    font-family:helvetica, sans-serif;
    font-size:13px;
    letter-spacing:4px;
    a {
        border-bottom: none;
        color: #888;
    }
    li {
        display: inline;
    }
    li + li:before {
        content: ":: ";
    }
    p {
        text-align: right;
    }
}

article > header > h2, h1.comments {
    @include heading(1.5em, #333);
    font-weight: bold;
    margin-bottom: 0;

    a {
        border-bottom: 0;
    }
}

article {
    h1 {
        @include heading(1.5em, #333);
        font-weight: normal;
        margin-bottom: 0;
    }

    h2 {
        @include heading(1.3em);
    }

    h3 {
        @include heading(1em);
    }

    h4 {
        @include heading(0.9em);
    }
}

header > .posted-line, article.comment > header > p {
    font-size: 50%;
    line-height: 1.5em;
    margin-top: 0.5em;
    color: #c0c0c0;
    time {
        color: #999;
    }
    a {
        color: #999;
        &:hover {
            color: #444;
            text-decoration: underline;
        }
    }
    .tags {
        &:before {
            content: "Tags: ";
        }
    }
}


.archive .tags {
    line-height: 1.5em;
    margin-top: 0.5em;
    color: #c0c0c0;
    display: inline;
    font-size: 70%;
    a {
        color: #999;
        border-bottom: 0;
        &:hover {
            color: #444;
            text-decoration: underline;
        }
    }
}
.tags {
    .tag {
        margin-left: 1.5ex;
    }
}

img {
    border: none;
}

blockquote {
    border-left: 1px solid #A5ABAB;
    margin:0px;
    padding:0 12px 0 12px;
}

p {
    line-height: 30px;
    margin:30px auto;
    text-indent: 0px;
    &.caption {
        font-size: 80%;
        margin-top: 0;
    }
    text-align: justify;
}

dd {
    line-height: 30px;
    margin:auto auto 30px 40px;
    text-indent: 0px;
    text-align: justify;
}

a {
    border-bottom: #999 1px solid;
    color: #303030;
    text-decoration: none;
    &:hover {
        color: #999;
        strong {
            color: #999;
        }
    }
}

ul, ol {
    padding: .5em 0em 1em 3.2em;
    li {
        line-height: 30px;
        padding: 6px 0 0 0;
    }
}

strong {
    color: #555555;
    font-family: Georgia, "Times New Roman", Times, serif;
    font-weight: bold;

    code {
        color: purple;
        font-family: Inconsolata, Monaco, monospace, Courier;
    }
}

article section.article-content, article.comment {
    pre, li code, p code, dd code {
        /* From en.wikipedia.org's CSS. */
        background-color: #F9F9F9;
        border: 1px solid #DDD;
        border-radius: 2px;
        padding: 1px 4px;
        font-family: Inconsolata, Monaco, monospace, Courier;
        line-height: 1.2em;

        strong {
            color: purple;
            font-family: Inconsolata, Monaco, monospace, Courier;
        }
        i, em {
            color: #BB60D5;
            font-family: Inconsolata, Monaco, monospace, Courier;
        }
    }
    a code, code a, pre a {
        color: #22a;
        &:hover {
            text-decoration: underline;
            color: #33d;
        }
        //&:visited {
        //    color: #40a;
        //}
    }
    code a, pre a {
        border-bottom: none;
    }

    pre {
        font-size: 0.8em;
        overflow: auto;
        padding: 10px;
    }
    li p:first-child {
        margin-top: 0;
    }
    li p:last-child {
        margin-bottom: 0;
    }
    li {
        margin: 30px auto;
        text-align: justify;
    }
    li:first-child {
        margin-top: 0;
    }
    li:last-child {
        margin-bottom: 0;
    }
}

header {
    padding-bottom: 20px;
    a {
        border-bottom: none;
        &.article-title { font-weight: bold; }
    }
}

#article-list {
    margin-top: 100px;
    ol li {
        line-height: 1.2em;
        list-style-type: none;
        padding-bottom: 10px;
    }
}

.note {
    background: #efefef;
    margin: 1em 0;
    p {
        display: inline;
        &.first {
            font-weight: bold;
            &:after {
                content: ' : ';
            }
        }
    }
}

footer {
    background: #fff;
    color: #666;
    font-family:helvetica, sans-serif;
    font-size:13px;
    letter-spacing:4px;
    margin-left: 20px;
    a {
        border-bottom: none;
        color: #c0c0c0;
    }
    li {
        display: inline;
    }
    p {
        text-align: right;
    }
}

nav {
    width: 100%;
    height: 6px;
    a {
        border-bottom: 0;
        color: #999;
        &:hover {
            color: #444;
            text-decoration: underline;
        }
        font-size:13px;
        &.prevarticle {
            float: left;
            &:before {
                content: "«";
            }
        }
        &.nextarticle {
            float: right;
            &:after {
                content: "»";
            }
        }
    }
}

ul.tagcloud {
    list-style: none;
    padding: 0;
    li {
        display: inline-block;
        margin-left: 1ex;
    }
    li.tag-1 {
        font-size: 150%;
    }
    li.tag-2 {
        font-size: 120%;
    }
    li.tag-3 {
        font-size: 100%;
    }
    li.tag-4 {
        font-size: 80%;
    }
}

.footnote {
    li {
        padding: 0;
        font-size: 80%;
    }
}

section.comments > header p a {
    border-bottom: 1px solid #999;
}
article.comment {
    border: 1px solid #DDDDDD;
    padding: 5px 10px 0px 10px;
    margin: 0px -1px 5px 0px;

    header {
        img {
            float: left;
            margin: 7px;
        }
        p, h4 {
            margin: 0;
        }
        a.permalink {
            font-size: 80%;
            margin-right: 1ex;
            float: right;
            color: #888;

            &:hover {
                color: #555;
            }
        }
    }
    p {
        margin-top: 0;
    }
}
article.comment-depth1 {
    margin-left: 50px;
}
article.comment-depth2 {
    margin-left: 90px;
}
article.comment-depth3 {
    margin-left: 120px;
}

.archive {
    h2, h3 {
        a {
            border-bottom: 0;
        }
    }
    h2 {
        @include heading(1.5em, #333);
        font-weight: bold;
        margin-bottom: 0;
    }
    h3 {
        @include heading(1.3em, #333);
        font-weight: normal;
        margin-left: 2em;
    }

    .comments_count {
        font-size: 80%;
    }
}

// From StackExchange's CSS.
kbd {
    padding: .1em .6em;
    border: 1px solid #ccc;
    font-size: 80%;
    font-family: Arial,Helvetica,sans-serif;
    background-color: #f7f7f7;
    color: #333;
    -moz-box-shadow: 0 1px 0 rgba(0,0,0,0.2),0 0 0 2px #fff inset;
    -webkit-box-shadow: 0 1px 0 rgba(0,0,0,0.2),0 0 0 2px #fff inset;
    box-shadow: 0 1px 0 rgba(0,0,0,0.2),0 0 0 2px #fff inset;
    border-radius: 3px;
    display: inline-block;
    margin: 0 .1em;
    text-shadow: 0 1px 0 #fff;
    line-height: 1.4;
    white-space: nowrap;
}


/* Weight names: http://www.webtype.com/info/articles/fonts-weights/ */

@font-face {
    font-family: 'Hasklig';
    src: url('fonts/Hasklig-ExtraLight.woff') format('woff');
    font-weight: 100;
    font-style: normal;
}
@font-face {
    font-family: 'Hasklig';
    src: url('fonts/Hasklig-Light.woff') format('woff');
    font-weight: 200;
    font-style: normal;
}
@font-face {
    font-family: 'Hasklig';
    src: url('fonts/Hasklig-Regular.woff') format('woff');
    font-weight: 400;
    font-style: normal;
}
@font-face {
    font-family: 'Hasklig';
    src: url('fonts/Hasklig-Medium.woff') format('woff');
    font-weight: 500;
    font-style: normal;
}
@font-face {
    font-family: 'Hasklig';
    src: url('fonts/Hasklig-Semibold.woff') format('woff');
    font-weight: 600;
    font-style: normal;
}
@font-face {
    font-family: 'Hasklig';
    src: url('fonts/Hasklig-Bold.woff') format('woff');
    font-weight: 700;
    font-style: normal;
}
@font-face {
    font-family: 'Hasklig';
    src: url('fonts/Hasklig-Black.woff') format('woff');
    font-weight: 800;
    font-style: normal;
}
@font-face {
    font-family: 'SansBullshitSans';
    src: url('fonts/SansBullshitSans.ttf');
    font-weight: normal;
    font-style: normal;
}

.hasklig {
    font-family: 'Hasklig', monospace !important;
}
.sansbullshitsans {
    font-family: 'SansBullshitSans', sans-serif !important;
}
.hasklig, .sansbullshitsans {
    /* The "right" way to enable ligatures. Only supported by recent browsers. */
    font-variant-ligatures: discretionary-ligatures;
    /* Some other browsers need one of these. */
    -webkit-font-variant-ligatures: discretionary-ligatures;
    text-rendering: optimizeLegibility;
}

nav.paginator {
    font-size: 90%;
    text-align: center;
    color: #666;
    a {
        font-size: 100%;
    }
}