<commit_before>body
{
    font-size: 0.75em;
    font-family: Arial, Geneva, sans serif;
    padding: 15px 0;
    color: #000;
    height: 100%;
    background-attachment: fixed !important;
    background-repeat: no-repeat;
    background-repeat: no-repeat;
    background: #67addf; /* Old browsers */
    background: -moz-linear-gradient(top,  #67addf 3%, #ffffff 50%, #5c8727 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(3%,#67addf), color-stop(50%,#ffffff), color-stop(100%,#5c8727)); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top,  #67addf 3%,#ffffff 50%,#5c8727 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top,  #67addf 3%,#ffffff 50%,#5c8727 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top,  #67addf 3%,#ffffff 50%,#5c8727 100%); /* IE10+ */
    background: linear-gradient(to bottom,  #67addf 3%,#ffffff 50%,#5c8727 100%); /* W3C */
}

div.hr {
    margin: 10px 40px 10px 0px;
    height: 1px;
    color: #DADADA;
    background-color: #DADADA;
}

a {
    color: #0053CF;
}
a:link,
a:active,
a:visited {
    color: #0053CF;
}

a:hover,
a:focus {
    color: ##004AB8;
    text-decoration: none;
}

header
{
    display: block;
    padding: 6px 4px;
}

.class-description {
    font-style: italic;
    font-family: Palatino, 'Palatino Linotype', serif;
    font-size: 130%;
    line-height: 140%;
}

#main {
    float: left;
    width: 70%;
    min-width: 300px;
    max-width: 850px;
}

.embedded #main {
    width: 97%;
    position: relative;
    top: 0;
    left: 0;
}

.popout {
    display: block;
    position: absolute;
    top: 8px;
    right: 10px;
    font-size: 12pt;
}

section
{
    display: block;
    border-bottom: 1px solid #ccc;
    position: relative;
    left: 10px;
    margin: 0 0 15px 10px;
    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
    border-radius: 15px;
    padding: 15px 15px 15px 15px;
    background-color: #FFFFFF;
    background-color: rgba(255, 255, 255, 1.0);
    -moz-box-shadow: 0px 0px 10px #B2CCF0;
    -webkit-box-shadow: 0px 0px 10px #B2CCF0;
    box-shadow: 0px 0px 10px #B2CCF0;
   /* margin-right: 240px; */
}

.variation {
    display: none;
}

.optional:after {
    content: "opt";
    font-size: 60%;
    color: #aaa;
    font-style: italic;
    font-weight: lighter;
}
/* Start menu */
div.menu
{
    margin: 0 15px 0 -15px;
    -moz-border-radius-bottomright: 15px;
    -webkit-border-bottom-right-radius: 15px;
    -border-bottom-right-radius: 15px;
    padding: 15px 15px 15px 30px;
    -moz-box-shadow: 0px 0px 10px #B2CCF0;
    -webkit-box-shadow: 0px 0px 10px #B2CCF0;
    box-shadow: 0px 0px 10px #B2CCF0;
    background-color: rgba(255, 255, 255, 1.0);
}

#mainIndex div.menu {
    border-radius: 15px;
    margin: 5px;
    padding: 15px;
}

.menuLogo {
	width: 100%;
	margin: 0 auto 10px auto;
	display: block;
}

.indexLogo {
	display: block;
	margin: 0 auto;
	width: 250px;
}

div.nav 
{
    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;
    float: left;
    width: 30%;
    min-width: 100px;
    max-width: 300px;
    padding: 0 0 10px 0;
    overflow: auto;
}

.embedded div.nav {
    display: none;
}

div.indexTitle
{
    padding: 8px 0 0;
    font-size: 200%;
    font-weight: bold;
    position: absolute;
}

div.nav div.divider
{
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    border-bottom: 1px solid #999;
    line-height: 1.0em;
}

form 
{
    display: block;
}

.rightLinks {
    display: block;
    float: right;
}

.indexLinks
{
    display: block;
}

.indexLinks a
{
    font-family: M1m, Arial, sans-serif;
    font-size: 14pt;
    text-transform: lowercase;
    text-decoration: none;
    margin-right: 2px;
    margin-bottom: 0;
    border-right: 1px solid #999;
    padding-right: 4px;
}

.indexLinks a:hover
{
    text-decoration:underline;
    cursor: pointer;
}

.indexLinks a:last-child
{
    margin-right: 2px;
    border-right: 0px;
    padding-right: 4px;
}

div.navStatic
{
    position: static;
    min-height: 1em;
    background: transparent;
}

div.nav input.classFilter {
    margin: 5px 10px 5px 0px; /*top, right, bottom, left*/
    width: 90%;
    border-width: 1px;
    border-style: solid;
    border-color: #CCCCCC #999999 #999999 #CCCCCC;
    -moz-border-radius: 3px;
    -webkit-border-radius: 3px;
    -border-radius: 3px;
}

#mainIndex div.nav input.classFilter {
    max-width: 250px;
}
/* End menu */

nav
{
    display: block;
    float: left;
    margin-left: -230px;
    margin-top: 28px;
    width: 220px;
    border-left: 1px solid #ccc;
    padding-left: 9px;
}

#mainIndex nav, #mainIndex div.nav {
    position: static;
    float: none;
    margin: 0;
    padding: 0;
    width: auto;
    height: auto;
    border: none;
    max-width: none;
}

div.nav ul {
    font-family: 'Lucida Grande', 'Lucida Sans Unicode', arial, sans-serif;
    font-size: 100%;
    line-height: 17px;
    padding:0;
    margin:0;
    list-style-type:none;
}

#mainIndex div.nav ul {
    -webkit-columns: 250px;
    -moz-columns: 250px;
    columns: 250px;
}

div.nav h3 {
    margin-top: 12px;
}

div.nav li {
    margin-top: 6px;
    list-style-type:none;
}

nav a {
    color: #5C5954;
}

nav a:visited {
    color: #5C5954;
}

nav a:active {
    color: #5C5954;
}

footer {
    display: block;
    padding: 6px 6px 100%;  /* Large bottom padding, so #anchors scroll correctly. */
    margin-top: 12px;
    font-style: italic;
    font-size: 90%;
    text-align: center;
}

#mainIndex footer {
    padding: 6px;
}

.page-title
{
    font-size: 2em;
    font-weight: bold;
    letter-spacing: 2px;
    line-height: 1em;
    position: relative;
    left: 10px;
    margin: -30px 0 15px 10px;
    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
    border-radius: 15px;
    padding: 25px 15px 15px 15px;
    background-color: #FFFFFF;
    background-color: rgba(255, 255, 255, 1.0);
    -moz-box-shadow: 0px 0px 10px #B2CCF0;
    -webkit-box-shadow: 0px 0px 10px #B2CCF0;
    box-shadow: 0px 0px 10px #B2CCF0;
}

#mainIndex .page-title {
    margin-right: 30px;
}

h1
{
    font-size: 200%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin: 6px 0 10px 10px;
}

h2
{
    font-size: 170%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin: 6px 0 3px 0;
}

h3
{
    font-size: 200%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin-top: 20px;
    margin: 6px 0 3px 0;
}

h4
{
    font-size: 140%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin-top: 16px;
    margin: 18px 0 3px 0;
    color: #A35A00;
}

h5, .container-overview .subsection-title
{
    font-size: 120%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin: 8px 0 3px 0px;
}

h6
{
    font-size: 100%;
    letter-spacing: -0.01em;
    margin: 6px 0 3px 0;
    font-style: italic;
}

.ancestors { color: #999; }
.ancestors a
{
    color: #999 !important;
    text-decoration: none;
}

.important
{
    font-weight: bold;
    color: #950B02;
}

.yes-def {
    text-indent: -1000px;
}

.type-signature {
    color: #aaa;
}

.name, .signature {
    font-family: Consolas, "Lucida Console", Monaco, monospace;
}

.details { margin-top: 14px; }
.details dt { width:100px; float:left; border-left: 2px solid #DDD; padding-left: 10px;  padding-top: 6px; }
.details dd { margin-left: 50px; }
.details ul { margin: 0; }
.details ul { list-style-type: none; }
.details li { margin-left: 30px; padding-top: 6px; }

.see-list li{
    margin: 0;
    padding: 0;
}

.description { margin-left: 16px; }

.code-caption
{
    font-style: italic;
    font-family: Palatino, 'Palatino Linotype', serif;
    font-size: 107%;
    margin: 0;
}

.sh_sourceCode
{
    border: 1px solid #ddd;
    width: 80%;
}

.sh_sourceCode code
{
    font-family: Consolas, 'Lucida Console', Monaco, monospace;
    font-size: 100%;
    line-height: 18px;
    display: block;
    padding: 4px 12px;
    margin: 0;
    background-color: #fff;
    color: #000;
    border-left: 3px #ddd solid;
}

.params, .props
{
    border-spacing: 0;
    border: 0;
    border-collapse: collapse;
}

.params .name, .props .name, .name code {
    color: #A35A00;
    font-family: Consolas, 'Lucida Console', Monaco, monospace;
    font-size: 100%;
}

.params td, .params th, .props td, .props th
{
    border: 1px solid #ddd;
    margin: 0px;
    text-align: left;
    vertical-align: top;
    padding: 4px 6px;
    display: table-cell;
}

.params thead tr, .props thead tr
{
    background-color: #ddd;
    font-weight: bold;
}

.params .params thead tr, .props .props thead tr
{
    background-color: #fff;
    font-weight: bold;
}

.params th, .props th { border-right: 1px solid #aaa; }
.params thead .last, .props thead .last { border-right: 1px solid #ddd; }

.colorSwath {
    display: inline-block;
    width: 15em;
    height: 1.4em;
    position: absolute;
    left: 36em;
    border: solid 1px #000;
    border-radius: 5px;
}

.disabled {
    color: #454545;
}

/* For printing out the documentation */
@media print {
    body {
        background: #fff;
    }
    .nav {
        display: none;
    }
    #mainIndex .nav {
        display: block;
    }
    #main {
        float: none;
        width: auto;
        margin-right: 25px;
    }
    footer {
        padding: 6px;
    }
    .colorSwath {
        display: none;
    }
}
<commit_msg>added css<commit_after>body
{
    font-size: 0.75em;
    font-family: Arial, Geneva, sans serif;
    padding: 15px 0;
    color: #000;
    height: 100%;
    background-attachment: fixed !important;
    background-repeat: no-repeat;
    background-repeat: no-repeat;
    background: #67addf; /* Old browsers */
    background: -moz-linear-gradient(top,  #67addf 3%, #ffffff 50%, #5c8727 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(3%,#67addf), color-stop(50%,#ffffff), color-stop(100%,#5c8727)); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top,  #67addf 3%,#ffffff 50%,#5c8727 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top,  #67addf 3%,#ffffff 50%,#5c8727 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top,  #67addf 3%,#ffffff 50%,#5c8727 100%); /* IE10+ */
    background: linear-gradient(to bottom,  #67addf 3%,#ffffff 50%,#5c8727 100%); /* W3C */
}

div.hr {
    margin: 10px 40px 10px 0px;
    height: 1px;
    color: #DADADA;
    background-color: #DADADA;
}

a {
    color: #0053CF;
}
a:link,
a:active,
a:visited {
    color: #0053CF;
}

a:hover,
a:focus {
    color: ##004AB8;
    text-decoration: none;
}

header
{
    display: block;
    padding: 6px 4px;
}

.class-description {
    font-style: italic;
    font-family: Palatino, 'Palatino Linotype', serif;
    font-size: 130%;
    line-height: 140%;
}

#main {
    float: left;
    width: 70%;
    min-width: 300px;
    max-width: 850px;
}

.embedded #main {
    width: 97%;
    position: relative;
    top: 0;
    left: 0;
}

.popout {
    display: block;
    position: absolute;
    top: 8px;
    right: 10px;
    font-size: 12pt;
}

section
{
    display: block;
    border-bottom: 1px solid #ccc;
    position: relative;
    left: 10px;
    margin: 0 0 15px 10px;
    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
    border-radius: 15px;
    padding: 15px 15px 15px 15px;
    background-color: #FFFFFF;
    background-color: rgba(255, 255, 255, 1.0);
    -moz-box-shadow: 0px 0px 10px #B2CCF0;
    -webkit-box-shadow: 0px 0px 10px #B2CCF0;
    box-shadow: 0px 0px 10px #B2CCF0;
   /* margin-right: 240px; */
}

.variation {
    display: none;
}

.optional:after {
    content: "opt";
    font-size: 60%;
    color: #aaa;
    font-style: italic;
    font-weight: lighter;
}
/* Start menu */
div.menu
{
    margin: 0 15px 0 -15px;
    -moz-border-radius-bottomright: 15px;
    -webkit-border-bottom-right-radius: 15px;
    -border-bottom-right-radius: 15px;
    padding: 15px 15px 15px 30px;
    -moz-box-shadow: 0px 0px 10px #B2CCF0;
    -webkit-box-shadow: 0px 0px 10px #B2CCF0;
    box-shadow: 0px 0px 10px #B2CCF0;
    background-color: rgba(255, 255, 255, 1.0);
}

#mainIndex div.menu {
    border-radius: 15px;
    margin: 5px;
    padding: 15px;
}

.menuLogo {
	width: 100%;
	margin: 0 auto 10px auto;
	display: block;
}

.indexLogo {
	display: block;
	margin: 0 auto;
	width: 250px;
}

div.nav 
{
    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;
    float: left;
    width: 30%;
    min-width: 100px;
    max-width: 300px;
    padding: 0 0 10px 0;
    overflow: auto;
}

.embedded div.nav {
    display: none;
}

div.indexTitle
{
    padding: 8px 0 0;
    font-size: 200%;
    font-weight: bold;
    position: absolute;
}

div.nav div.divider
{
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    border-bottom: 1px solid #999;
    line-height: 1.0em;
}

form 
{
    display: block;
}

.rightLinks {
    display: block;
    float: right;
}

.indexLinks
{
    display: block;
}

.indexLinks a
{
    font-family: M1m, Arial, sans-serif;
    font-size: 14pt;
    text-transform: lowercase;
    text-decoration: none;
    margin-right: 2px;
    margin-bottom: 0;
    border-right: 1px solid #999;
    padding-right: 4px;
}

.indexLinks a:hover
{
    text-decoration:underline;
    cursor: pointer;
}

.indexLinks a:last-child
{
    margin-right: 2px;
    border-right: 0px;
    padding-right: 4px;
}

div.navStatic
{
    position: static;
    min-height: 1em;
    background: transparent;
}

div.nav input.classFilter {
    margin: 5px 10px 5px 0px; /*top, right, bottom, left*/
    width: 90%;
    border-width: 1px;
    border-style: solid;
    border-color: #CCCCCC #999999 #999999 #CCCCCC;
    -moz-border-radius: 3px;
    -webkit-border-radius: 3px;
    -border-radius: 3px;
}

#mainIndex div.nav input.classFilter {
    max-width: 250px;
}
/* End menu */

nav
{
    display: block;
    float: left;
    margin-left: -230px;
    margin-top: 28px;
    width: 220px;
    border-left: 1px solid #ccc;
    padding-left: 9px;
}

#mainIndex nav, #mainIndex div.nav {
    position: static;
    float: none;
    margin: 0;
    padding: 0;
    width: auto;
    height: auto;
    border: none;
    max-width: none;
}

div.nav ul {
    font-family: 'Lucida Grande', 'Lucida Sans Unicode', arial, sans-serif;
    font-size: 100%;
    line-height: 17px;
    padding:0;
    margin:0;
    list-style-type:none;
}

#mainIndex div.nav ul {
    -webkit-columns: 250px;
    -moz-columns: 250px;
    columns: 250px;
}

div.nav h3 {
    margin-top: 12px;
}

div.nav li {
    margin-top: 6px;
    list-style-type:none;
}

nav a {
    color: #5C5954;
}

nav a:visited {
    color: #5C5954;
}

nav a:active {
    color: #5C5954;
}

footer {
    display: block;
    padding: 6px 6px 100%;  /* Large bottom padding, so #anchors scroll correctly. */
    margin-top: 12px;
    font-style: italic;
    font-size: 90%;
    text-align: center;
}

#mainIndex footer {
    padding: 6px;
}

.page-title
{
    font-size: 2em;
    font-weight: bold;
    letter-spacing: 2px;
    line-height: 1em;
    position: relative;
    left: 10px;
    margin: -30px 0 15px 10px;
    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
    border-radius: 15px;
    padding: 25px 15px 15px 15px;
    background-color: #FFFFFF;
    background-color: rgba(255, 255, 255, 1.0);
    -moz-box-shadow: 0px 0px 10px #B2CCF0;
    -webkit-box-shadow: 0px 0px 10px #B2CCF0;
    box-shadow: 0px 0px 10px #B2CCF0;
}

#mainIndex .page-title {
    margin-right: 30px;
}

h1
{
    font-size: 200%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin: 6px 0 10px 10px;
}

h2
{
    font-size: 170%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin: 6px 0 3px 0;
}

h3
{
    font-size: 200%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin-top: 20px;
    margin: 6px 0 3px 0;
}

h4
{
    font-size: 140%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin-top: 16px;
    margin: 18px 0 3px 0;
    color: #A35A00;
}

h5, .container-overview .subsection-title
{
    font-size: 120%;
    font-weight: bold;
    letter-spacing: -0.01em;
    margin: 8px 0 3px 0px;
}

h6
{
    font-size: 100%;
    letter-spacing: -0.01em;
    margin: 6px 0 3px 0;
    font-style: italic;
}

.ancestors { color: #999; }
.ancestors a
{
    color: #999 !important;
    text-decoration: none;
}

.important
{
    font-weight: bold;
    color: #950B02;
}

.yes-def {
    text-indent: -1000px;
}

.type-signature {
    color: #aaa;
}

.name, .signature {
    font-family: Consolas, "Lucida Console", Monaco, monospace;
}

.details { margin-top: 14px; }
.details dt { width:100px; float:left; border-left: 2px solid #DDD; padding-left: 10px;  padding-top: 6px; }
.details dd { margin-left: 50px; }
.details ul { margin: 0; }
.details ul { list-style-type: none; }
.details li { margin-left: 30px; padding-top: 6px; }

.see-list li{
    margin: 0;
    padding: 0;
}

.description { margin-left: 16px; }

.code-caption
{
    font-style: italic;
    font-family: Palatino, 'Palatino Linotype', serif;
    font-size: 107%;
    margin: 0;
}

.sh_sourceCode
{
    border: 1px solid #ddd;
    width: 80%;
}

.sh_sourceCode code
{
    font-family: Consolas, 'Lucida Console', Monaco, monospace;
    font-size: 100%;
    line-height: 18px;
    display: block;
    padding: 4px 12px;
    margin: 0;
    background-color: #fff;
    color: #000;
    border-left: 3px #ddd solid;
}

.params, .props
{
    border-spacing: 0;
    border: 0;
    border-collapse: collapse;
}

.params .name, .props .name, .name code {
    color: #A35A00;
    font-family: Consolas, 'Lucida Console', Monaco, monospace;
    font-size: 100%;
}

.params td, .params th, .props td, .props th
{
    border: 1px solid #ddd;
    margin: 0px;
    text-align: left;
    vertical-align: top;
    padding: 4px 6px;
    display: table-cell;
}

.params thead tr, .props thead tr
{
    background-color: #ddd;
    font-weight: bold;
}

.params .params thead tr, .props .props thead tr
{
    background-color: #fff;
    font-weight: bold;
}

.params th, .props th { border-right: 1px solid #aaa; }
.params thead .last, .props thead .last { border-right: 1px solid #ddd; }

.colorSwath {
    display: inline-block;
    width: 15em;
    height: 1.4em;
    position: absolute;
    left: 36em;
    border: solid 1px #000;
    border-radius: 5px;
}

.disabled {
    color: #454545;
}

/* For printing out the documentation */
@media print {
    body {
        background: #fff;
    }
    .nav {
        display: none;
    }
    #mainIndex .nav {
        display: block;
    }
    #main {
        float: none;
        width: auto;
        margin-right: 25px;
    }
    footer {
        padding: 6px;
    }
    .colorSwath {
        display: none;
    }
}

dt a {
    text-decoration: none;
}

dt a:hover{
    text-decoration: underline;
}
{'fraction_non_alphanumeric': 0.14570837093263975, 'fraction_numerical': 0.06624555443494877, 'mean_word_length': 2.5228122662677634, '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': '6035183', 'n_tokens_mistral': 8512, 'n_tokens_neox': 7377, 'n_words': 1843}