<commit_before>@font-face {
    font-family: "DejaVu Serif";
    font-weight: normal;
    font-style: normal;
    src: url(DejaVuSerif.ttf);
}
@font-face {
    font-family: "DejaVu Serif";
    font-weight: bold;
    font-style: normal;
    src: url(DejaVuSerif-Bold.ttf);
}
@font-face {
    font-family: "DejaVu Serif";
    font-weight: normal;
    font-style: italic;
    src: url(DejaVuSerif-Italic.ttf);
}
@font-face {
    font-family: "DejaVu Serif";
    font-weight: bold;
    font-style: italic;
    src: url(DejaVuSerif-BoldItalic.ttf);
}

body, p, h1, h2, h3, h4 {
    font-family: "DejaVu Serif", serif;
}


body
{
    line-height: 1.5em;
    margin: 0;
}

a
{
    text-decoration: none;
    color: #00e;
}

a img {
    border: 0;
}

#book-text
{
    margin: 2em;
}

@media amzn-kf8
{
   #book-text
    {
        margin: 0;
    }
}

/* =================================================== */
/* = Common elements: headings, paragraphs and lines = */
/* =================================================== */


.h2
{
    font-size: 2em;
    margin: 0;
    margin-top: 1.5em;
    font-weight: bold;
    line-height: 1.5em;
}

.h3
{
    text-align:left;
    font-size: 1.5em;
    margin-top: 1.5em;<commit_msg>set 5pt page margin instead of oversized 2em book margin<commit_after>@page {
  margin: 5pt;
}
@font-face {
    font-family: "DejaVu Serif";
    font-weight: normal;
    font-style: normal;
    src: url(DejaVuSerif.ttf);
}
@font-face {
    font-family: "DejaVu Serif";
    font-weight: bold;
    font-style: normal;
    src: url(DejaVuSerif-Bold.ttf);
}
@font-face {
    font-family: "DejaVu Serif";
    font-weight: normal;
    font-style: italic;
    src: url(DejaVuSerif-Italic.ttf);
}
@font-face {
    font-family: "DejaVu Serif";
    font-weight: bold;
    font-style: italic;
    src: url(DejaVuSerif-BoldItalic.ttf);
}

body, p, h1, h2, h3, h4 {
    font-family: "DejaVu Serif", serif;
}


body
{
    line-height: 1.5em;
    margin: 0;
}

a
{
    text-decoration: none;
    color: #00e;
}

a img {
    border: 0;
}

#book-text {
    margin: 0;
}

/* =================================================== */
/* = Common elements: headings, paragraphs and lines = */
/* =================================================== */


.h2
{
    font-size: 2em;
    margin: 0;
    margin-top: 1.5em;
    font-weight: bold;
    line-height: 1.5em;
}

.h3
{
    text-align:left;
    font-size: 1.5em;
    margin-top: 1.5em;
{'fraction_non_alphanumeric': 0.23251028806584362, 'fraction_numerical': 0.020987654320987655, 'mean_word_length': 2.74, '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': '205281', 'n_tokens_mistral': 1036, 'n_tokens_neox': 994, 'n_words': 196}