* {
    /*
    margin: 0;
    padding: 0;
    */
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    box-sizing: border-box;
}

html, body {
    font-family: monospace;
    font-size: 1rem;
}

blockquote {
    background-color: #f8f8f8;
    border-left: 5px solid #e9e9e9;
    font-size: .85em;
    margin: 1em 0;
    padding: .5em 1em;
}

blockquote cite {
    color: #999;
    display: block;
    font-size: .8em;
    margin-top: 1em;
}

blockquote cite:before {
    content: "\2014 \2009";
}

details > summary {
    cursor: pointer;
}

p {
    margin: 0 0 10px 0;
}

pre {
    line-height: 1.5rem;
}

.separator {
    align-items: center;
    display: flex;
    margin: 1rem 0;
    text-align: center;
}

    .separator::before,
    .separator::after {
        border-bottom: 1px solid #aaa;
        content: '';
        flex: 1;
    }

    .separator:not(:empty)::before {
        margin-right: 1rem;
    }

    .separator:not(:empty)::after {
        margin-left: 1rem;
    }

.top_bar {
    display: flex;
    width: 100%;
}

    .top_bar > .path {
        flex-basis: auto;
        padding: 0 5rem 0 0;
    }

    .top_bar > .context {
    }

.page_content {
    margin: 2rem 0 5rem 0;
}

/* List of repos in explore page */
.repositories_list > div {
    display: grid;
    grid-template-columns: 1fr 3fr;
    grid-column-gap: 1rem;
    padding: .2rem;
}

.repository {
    display: flex;
    width: 100%;
}

    .repository > .readme {
        flex: 70%;
        white-space: pre-wrap;
        padding: 0 1rem 0 0;
    }
    
    .repository > .overview {
        flex: 30%;
        padding: 0 0 0 1rem;
    }

/* The page menu at the top */
ul.menu {
    display: inline-block;
    list-style: none;
    margin: 0;
    overflow: hidden;
    padding: 0;
    vertical-align: middle;
}

    ul.menu > a {
        border-bottom: .2rem solid transparent;
        color: black;
        display: inline-block;
        float: left;
        margin: 0 1rem 0 0;
        padding: .1rem 0;
        text-decoration: none;
    }
    
    ul.menu > a:hover {
        border-bottom: .2rem solid #ccc;
    }
    
    ul.menu > a.selected {
        border-bottom: .2rem solid black;
    }

span.head_label {
    background-color: #b9faca;
    border-radius: .1rem;
    border: 1px solid black;
    font-size: .6rem;
    margin: 0 0 0 1rem;
    padding: .1rem;
}

div.tree_list {
}

    div.tree_list > a {
        color: black;
        display: block;
        margin: 0;
        padding: .5rem;
        text-decoration: none;
    }
        div.tree_list > a > pre {
            margin: 0;
        }
    
    div.tree_list > a:hover {
        background-color: #e3ecfa;
    }

table.refs {
    width: 100%;
}

    table.refs tr td:nth-child(1) {
        width: 10%;
    }
    
    table.refs tr td:nth-child(3) {
        width: 10%;
    }
    
    table.refs .lightweight {
        font-size: .75rem;
        vertical-align: middle;
    }
    
    table.refs .annotated {
        font-size: .75rem;
        vertical-align: middle;
    }

table.log {
    border-spacing: 0;
    width: 100%;
}
    
    table.log td {
        padding: .2rem .5rem;
        white-space: nowrap;
        width: auto;
    }
    
    table.log > thead {
        font-weight: bold;
    }
    
        table.log > thead td {
            padding-bottom: 1rem;
        }
    
        table.log > thead .time {
            text-align: right;
        }
        
        table.log > thead .files {
            text-align: right;
        }
        
        table.log > thead .lines {
            text-align: right;
        }
    
    table.log > tbody {
    }
        
        table.log > tbody td.message {
            width: 100%;
        }
        
            table.log > tbody td.message details > .fulltext {
                margin: 1rem 2rem;
                white-space: pre-wrap;
            }
        
        table.log > tbody .time {
            text-align: right;
        }
        
        table.log > tbody .files {
            text-align: right;
        }
        
        table.log > tbody .lines {
            text-align: right;
        }
        
        table.log > tbody .deletions {
            color: red;
        }
        
        table.log > tbody .insertions {
            color: green;
        }

div.threads {
    
}

    div.threads > div {
        margin-bottom: 1rem;
    }
    
        div.threads div.title {
            
        }
    
        div.threads div.subtitle {
            color: #666;
            font-size: 0.8rem;
            padding-top: .5rem;
        }
        
            div.threads div.subtitle .tag {
                background: gray;
                border-radius: .2rem;
                color: white;
                padding: .1rem .5rem;
            }

/* Filters in a mailing list page. */
.filters {
    margin-bottom: 1rem;
}

    .filters .tag {
        margin-top: .1rem;
    }
    
    .filters .buttons {
        margin-top: 1rem;
    }
    
    .filters select {
        border: 0;
        background: transparent;
        text-align: right;
    }
            
.thread {
}
    
    .thread > .title {
        font-size: 1.2rem;
        font-weight: bold;
    }
        
    .thread > .subtitle {
        color: #666;
        margin: 1rem 0 2rem 0;
    }
        
    .thread > .content {
        display: flex;
    }
    
        .thread .messages {
            flex: 70%;
            padding: 1rem;
        }
        
        .thread .message {
        }
        
        .thread .message:not(:first-child) {
            border-top: 1px solid #d0d0d0;
            margin-top: 2rem;
            padding: 2rem 0rem 0rem 0rem;
        }
        
            .thread .message > .header {
                font-size: .9rem;
            }
            
                .thread .message > .header > details > .headers {
                }
        
            .thread .message > .body {
                padding: .5rem 1rem 0 1rem;
                white-space: pre-wrap;
            }
            
        .thread .info {
            flex: 30%;
            padding: 1rem;
        }
        
            .thread .info .tag {
                margin-bottom: 1rem;
            }

/* Commit page */
div.commit {
}

    div.commit .message {
        white-space: pre-wrap;
    }
    
    div.commit .accumulated {
        margin-top: .5rem;
    }
    
    div.commit .accumulated .insertions {
        color: darkgreen;
    }
    
    div.commit .accumulated .deletions {
        color: darkred;
    }
    
    div.commit details.diffstat {
    }
    
    div.commit details.diffstat table {
        width: 100%;
    }
    
    div.commit details.diffstat table .filemode {
        white-space: nowrap;
        width: 0;
    }
    
    div.commit details.diffstat table .path {
        padding: 0 1rem;
        white-space: nowrap;
        width: 0;
    }
    
    div.commit details.diffstat table .lines {
        text-align: right;
        white-space: nowrap;
        width:0;
    }
    
    div.commit details.diffstat table .histogram {
        max-width: 20%;
        min-width: 10%;
    }
    
    div.commit details.diffstat table .histogram span {
        display: inline-block;
        height:1rem;
        vertical-align: middle;
    }
    
    div.commit details.diffstat table .histogram .insertions {
        background: lightgreen;
    }
    
    div.commit details.diffstat table .histogram .deletions {
        background: red;
    }
    
    div.commit details.diff_options {
        margin-bottom: 2rem;
    }
    
    div.commit details.diff_options input[type=submit] {
        margin-top: .5rem;
    }
    
    div.commit .raw_diff {
        white-space: pre-wrap;
    }
    
    div.commit details.diff_view {
        position: relative;
    }
    
    div.commit details.diff_view[open] summary {
        border-bottom: 1px solid #d0d0d0;
    }
    
    div.commit details.diff_view summary {
        list-style: none;
        padding: .5rem;
    }
    
    div.commit details.diff_view summary:after {
        content: "➕";
        position: absolute;
        right: .5rem;
        top: .5rem;
        transition: 100ms linear;
    }
    
    div.commit details.diff_view[open] summary:after {
        transform: rotate(45deg);
    }
    
    div.commit details.diff_view summary .histogram {
        border-bottom: .3rem solid;
        display: inline-block;
        vertical-align: middle;
    }
    
    div.commit details.diff_view .diff {
        border-collapse: collapse;
        border-spacing: 0;
        width: 100%;
    }
    
    div.commit details.diff_view .diff td {
        padding: .1rem .5rem;
    }
    
    div.commit details.diff_view .diff .header {
        background-color: #f0f9ff;
        color: darkblue;
    }
    
    div.commit details.diff_view .diff .header td {
        padding: .5rem .5rem;
    }
    
    div.commit details.diff_view .diff .origin {
        width: 0;
    }
    
    div.commit details.diff_view .diff .deletion {
        background-color: #ffeef0;
    }
    
    div.commit details.diff_view .diff .insertion {
        background-color: #e6ffed;
    }
    
    div.commit details.diff_view .diff .change {
        background-color: #feffbe;
    }
    
    div.commit details.diff_view .diff .content {
        white-space: pre-wrap;
    }
    
    div.commit details.diff_view .diff .ssdiff .content {
        width: 50%;
    }
    
    div.commit hr {
        border:1px dashed black;
        margin: 2rem 0;
    }

/* Alternate background color used when displaying table data */
.striped > *:nth-child(even) {
    background-color: #f8f8f8;
}

.striped > *:hover {
    background-color: #ededed;
}

/* Override some Pygments rules of the default style */
.highlight {
    background: none;
}
    
    .highlight .code {
        padding-left: 1rem;
    }

/* Line numbers when showind diffs or blobs.
 * Do not change class name, because this is an extension of the "lineos" class
 * that is generated from Pygments. */
.linenos {
    border-right: 1px solid #aaa;
    text-align: right;
    width: 0;
}

.linenos a,
.linenos a:hover,
.linenos a:visited {
    color: gray;
    text-decoration: none;
}

.linenos a:hover {
    color: black;
}