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

html, body {
    font-family: Sans-Serif;
}

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 {
    font-size: 1rem;
    line-height: 1.5rem;
}

.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%;
        font-family: monospace;
        font-size: 1rem;
        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.short_id {
            font-family: ui-monospace, monospace;
        }
        
        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;
    }
            
.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;
            }
            
    
/* 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 .linenos {
        border-right: 1px solid #aaa;
        padding-right: .5rem;
    }
    
        .highlight .linenos a,
        .highlight .linenos a:hover,
        .highlight .linenos a:visited {
            color: gray;
            text-decoration: none;
        }
    
    .highlight .code {
        padding-left: 1rem;
    }