<commit_before>body {
    font-size: 16px;
    font: Georgia, "Times New Roman", serif;
    line-height: 1.5em;
    margin: 0;
}

a {
    color: blue;
    text-decoration: none;
}

#book-text {
    margin: 0 3em;
    max-width: 36em;
}

#other-text #book-text {
    width: 36em;
}

/* ================================== */
/* = Header with logo and menu      = */
/* ================================== */
#header {
    margin: 3.4em 0 0 1.4em;
}

img {
    border: none;
}

#logo {
    font-size: 1.5em;
}
#logo a {
    color: black;
}

#menu {
    position: fixed;
    left: 0em;
    top: 0em;
    width: 100%;
    height: 1.5em;
    background: #333;
    color: #FFF;
    opacity: 0.9;
    z-index: 99;
}

#menu ul {
    list-style: none;
    padding: 0;
    margin: 0;
}

#menu li a {
    display: block;
    float: left;
    height: 1.5em;
    margin-left: 0.5em;
    text-align: center;
    color: #FFF;
    padding: 0 1em;
}
#menu li a.menu {
    padding-right: 1.5em;
}

#menu li a.menu:hover, #menu li a.menu:active {
    color: #000;
    background: #FFF url(/static/img/arrow-down.png) no-repeat center right;
}

#menu li a.menu.selected {
    color: #000;
    background: #FFF url(/static/img/arrow-up.png) no-repeat center right;
}
#menu a.menu-link {
    display: block;
    float: left;
    height: 1.5em;
    margin-left: 0.5em;
    text-align: center;
    color: #FFF;
}
#menu span {
    color: #888;
    font-style: italic;
    font-size: .75em;
    margin-right: 0.5em;
}


#toc, #themes, #nota_red, #info, #other-versions, #objects {
    position: fixed;
    left: 0em;
    top: 1.5em;
    width: 37em;
    padding: 1.5em;
    background: #FFF;
    border-bottom: 0.25em solid #DDD;
    border-right: 0.25em solid #DDD;
    display: none;
    height: 16em;
    overflow-x: hidden;
    overflow-y: auto;
    opacity: 0.9;
    z-index: 99;
}
#download {
    position: fixed;
    left: 0em;
    top: 1.5em;
    width: 37em;
    padding: 1.5em;
    background: #FFF;
    border-bottom: 0.25em solid #DDD;
    border-right: 0.25em solid #DDD;
    display: none;
    height: 10em;
    overflow-x: hidden;
    overflow-y: auto;
    opacity: 0.9;
    z-index: 99;
}

#toc ol, #themes ol, #objects ol {
    list-style: none;
    padding: 0;
    margin: 0;
}<commit_msg>max width for images in html book view<commit_after>body {
    font-size: 16px;
    font-family: Georgia, "Times New Roman", serif;
    line-height: 1.5em;
    margin: 0;
}

a {
    color: blue;
    text-decoration: none;
}

#book-text {
    margin: 0 3em;
    max-width: 36em;
}

#other-text #book-text {
    width: 36em;
}

/* ================================== */
/* = Header with logo and menu      = */
/* ================================== */
#header {
    margin: 3.4em 0 0 1.4em;
}

img {
    border: none;
    max-width: 36em;
    margin-top: 1em;
}

#logo {
    font-size: 1.5em;
}
#logo a {
    color: black;
}

#menu {
    position: fixed;
    left: 0;
    top: 0;
    width: 100%;
    height: 1.5em;
    background: #333;
    color: #FFF;
    opacity: 0.9;
    z-index: 99;
}

#menu ul {
    list-style: none;
    padding: 0;
    margin: 0;
}

#menu li a {
    display: block;
    float: left;
    height: 1.5em;
    margin-left: 0.5em;
    text-align: center;
    color: #FFF;
    padding: 0 1em;
}
#menu li a.menu {
    padding-right: 1.5em;
}

#menu li a.menu:hover, #menu li a.menu:active {
    color: #000;
    background: #FFF url(/static/img/arrow-down.png) no-repeat center right;
}

#menu li a.menu.selected {
    color: #000;
    background: #FFF url(/static/img/arrow-up.png) no-repeat center right;
}
#menu a.menu-link {
    display: block;
    float: left;
    height: 1.5em;
    margin-left: 0.5em;
    text-align: center;
    color: #FFF;
}
#menu span {
    color: #888;
    font-style: italic;
    font-size: .75em;
    margin-right: 0.5em;
}


#toc, #themes, #nota_red, #info, #other-versions, #objects {
    position: fixed;
    left: 0;
    top: 1.5em;
    width: 37em;
    padding: 1.5em;
    background: #FFF;
    border-bottom: 0.25em solid #DDD;
    border-right: 0.25em solid #DDD;
    display: none;
    height: 16em;
    overflow-x: hidden;
    overflow-y: auto;
    opacity: 0.9;
    z-index: 99;
}
#download {
    position: fixed;
    left: 0;
    top: 1.5em;
    width: 37em;
    padding: 1.5em;
    background: #FFF;
    border-bottom: 0.25em solid #DDD;
    border-right: 0.25em solid #DDD;
    display: none;
    height: 10em;
    overflow-x: hidden;
    overflow-y: auto;
    opacity: 0.9;
    z-index: 99;
}

#toc ol, #themes ol, #objects ol {
    list-style: none;
    padding: 0;
    margin: 0;
}
{'fraction_non_alphanumeric': 0.17884948096885814, 'fraction_numerical': 0.04390138408304498, 'mean_word_length': 2.310665712240515, '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': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7239087', 'n_tokens_mistral': 2001, 'n_tokens_neox': 1816, 'n_words': 473}