<commit_before>
/* Screen: body and toc */
body {
    font-family: "Source Sans Pro", sans-serif;
    max-width: 800px;
    margin: auto;
    margin-left: 240px;
    padding: 1em;
}
div.column {
    /* Pandoc uses "top", no option/attribute so far supported to change this */
    vertical-align: middle;
}

#TOC {
    font-size: small;
    background-color: #dbe4ed;
    padding: 1em;
    padding-left: 0em;
    left: 0;
    top: 0;
    width: 220px;
    height: 100%;
    position: fixed;
    overflow: auto;
    z-index: 999999;
}
#TOC ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

#TOC ul li {
    display: block;
    padding: 2px 10px;
}
#TOC ul li a {
    color: #000;
    text-decoration: none;
}
#TOC ul li a:hover {
    background-color: #555;
    color: white;
}


#TOC ul li ul {
    display: none;
    background-color: #f9f9f9;
    box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
    z-index: 1;
}
#TOC ul li:hover ul {
    display: block;
}
#TOC ul li ul li a {
    width: 100%;
}
#TOC ul li ul li a:hover {background-color: #a1a1a1}

/* Small screen: just body, toc at top */
@media screen and (max-width: 1024px) {
    body {
        margin-left: initial;
    }
    /* allow columns to re-align */
    div.column {
        width: initial;
    }
    #TOC {
        width: auto;
        height: auto;
        position: sticky;
        position: -webkit-sticky; /* Safari */
    }
    #TOC ul li {
        float: left;
    }
    #TOC ul li ul li {
        float: none;
    }
}

@media screen and (max-width: 400px) {
    body {
        font-size: small;
    }
    #TOC ul li {
        text-align: center;
        float: none;
    }
}

/* Print: just max-width body, no toc */
@media print {
    body {
        font-size: x-small;
        font-family: sans-serif;
        max-width: initial;
        margin-left: initial;
    }
    #TOC {
        display: none;
    }
}

/* Headers: Use some nice settings */
code { font-family: "Source Code Pro", monospace; }
pre {
    padding: 0.5em 0.7em;
    border: 1px dashed #555;
    background-color: #f2f2f2;
    overflow-x: auto;
  }

img {
    max-width: 100%;
    height: auto;
}

section.level1 {
    border-top: 1px solid #ddd;
}

section.level2 {
    border-bottom: 1px solid #ddd;
    margin-top: 2em;
    margin-bottom: 1.25em;
}

h1 {
    font-size: 1.8em;
    font-weight: bold;
    color: #4070a0;
    text-align: left;
    margin-bottom: 1em;<commit_msg>use light gray background for code (except in headers and other special locations)<commit_after>
/* Screen: body and toc */
body {
    font-family: "Source Sans Pro", sans-serif;
    max-width: 800px;
    margin: auto;
    margin-left: 240px;
    padding: 1em;
}
div.column {
    /* Pandoc uses "top", no option/attribute so far supported to change this */
    vertical-align: middle;
}

#TOC {
    font-size: small;
    background-color: #dbe4ed;
    padding: 1em;
    padding-left: 0em;
    left: 0;
    top: 0;
    width: 220px;
    height: 100%;
    position: fixed;
    overflow: auto;
    z-index: 999999;
}
#TOC ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

#TOC ul li {
    display: block;
    padding: 2px 10px;
}
#TOC ul li a {
    color: #000;
    text-decoration: none;
}
#TOC ul li a:hover {
    background-color: #555;
    color: white;
}


#TOC ul li ul {
    display: none;
    background-color: #f9f9f9;
    box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
    z-index: 1;
}
#TOC ul li:hover ul {
    display: block;
}
#TOC ul li ul li a {
    width: 100%;
}
#TOC ul li ul li a:hover {background-color: #a1a1a1}

/* Small screen: just body, toc at top */
@media screen and (max-width: 1024px) {
    body {
        margin-left: initial;
    }
    /* allow columns to re-align */
    div.column {
        width: initial;
    }
    #TOC {
        width: auto;
        height: auto;
        position: sticky;
        position: -webkit-sticky; /* Safari */
    }
    #TOC ul li {
        float: left;
    }
    #TOC ul li ul li {
        float: none;
    }
}

@media screen and (max-width: 400px) {
    body {
        font-size: small;
    }
    #TOC ul li {
        text-align: center;
        float: none;
    }
}

/* Print: just max-width body, no toc */
@media print {
    body {
        font-size: x-small;
        font-family: sans-serif;
        max-width: initial;
        margin-left: initial;
    }
    #TOC {
        display: none;
    }
}

/* Headers: Use some nice settings */
code {
    font-family: "Source Code Pro", monospace;
    background-color: #f2f2f2;
}
h1 code, h2 code, h3 code, h4 code, nav code, span.bsp code {
    background-color:inherit;
}
pre {
    padding: 0.5em 0.7em;
    border: 1px dashed #555;
    background-color: #f2f2f2;
    overflow-x: auto;
  }

img {
    max-width: 100%;
    height: auto;
}

section.level1 {
    border-top: 1px solid #ddd;
}

section.level2 {
    border-bottom: 1px solid #ddd;
    margin-top: 2em;
    margin-bottom: 1.25em;
}

h1 {
    font-size: 1.8em;
    font-weight: bold;
    color: #4070a0;
    text-align: left;
    margin-bottom: 1em;
{'fraction_non_alphanumeric': 0.13337273443656422, 'fraction_numerical': 0.0380220646178093, 'mean_word_length': 2.071385359951603, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '612505', 'n_tokens_mistral': 2060, 'n_tokens_neox': 1909, 'n_words': 542}