<commit_before>*
{
margin: 0em;
padding: 0em;
}
body
{
font-family: "Trebuchet MS", sans-serif;
color: #333;
font-size: 11pt;
min-width: 950px;
}
a, span.external_link
{
text-decoration: underline;
cursor: pointer;
color: #996611;
}

table tr
{
vertical-align: top;
}
#header {
padding-left: 110px;
background: #000 url('images/header.gif') repeat-x;
height: 60px;
}
#header h1 a
{
color: #fff;
text-decoration: none;
}
#header h1
{
        padding-top: 7px;
font-size: 15pt;
}
#header h2
{
color: #EfE8C2;
font-size: 13pt;
}
/* Menu */
#menu
{
background-image: url('images/a3.gif');
background-repeat: repeat-x;
background-position: bottom left;
padding: 0.3em 2.5em 0.3em 2.5em;
}
#menu ul
{
list-style: none;
}
#menu li
{
display: inline;
}
#menu li a
{
font-size: 1.1em;
font-weight: bold;
text-decoration: none;
margin-right: 1em;
}
#menu li a:hover
{
color: #6B7E09;
text-decoration: underline;
}
#menu li.selected a
{
color: green;
}

#content
{
padding: 10px 5px 20px 20px;
line-height: 1.6em;
background: url('images/a4.gif') repeat-x top left;
font-size: 11px;
font-family: verdana, "trebuchet ms", sans-serif;
}
#content p
{
margin-bottom: 3px;
}
#content h1, #content h2
{
margin-bottom: 3px;
font-size: 18px;
font-family: "Arial";
}

#content h3,#content h4,#content h5,#content h6
{
margin-bottom: 3px;
font-size: 11px;
}
#content ul
{
margin-bottom: 1.5em;
padding-left: 1em;
}
#content blockquote
{
padding: 1em;
margin-bottom: 1.5em;
background-color: #FFFCD8;
background-image: url('images/a5.gif');
background-repeat: no-repeat;
background-position: top left;
border: dotted 1px #DFD999;
}
#content blockquote p
{
margin-bottom: 0em;
}
#content table.real
{
margin-bottom: 1.5em;
}
#content table.real th
{
text-align: left;
font-weight: bold;
padding: 0.5em;
}
#content table.real td
{
padding: 0.5em;
}
#content table.real tr.rowA
{
background-color: #EAEFE0;
color: inherit;
}
#content table.real tr.rowB
{
background-color: #F9FFEF;
color: inherit;
}
/* Primary Content */
#primaryContentContainer
{
float: left;
margin-right: -510px;
width: 100%;
}
#primaryContent
{
margin: 0em 300px 0em 0em;
padding: 0em 1.5em 0px 0em;
}
#primaryContent h2, #primaryContent h3
{
border-bottom: dotted 1px #aaa;
padding-bottom: 0.3em;
}
#sideContent h3
{
background: url('images/a1.gif') no-repeat;
width: 240px;
height: 27px;
font-size: 1.0em;
font-weight: bold;
padding-left: 15px;
padding-top: 5px;
margin-top: 10px;
margin-bottom: 10px;
}
/* Tertiary Content */
#sideContent
{
float: right;
width: 300px;
padding-right: 0px;
}
/* Footer */
#footer
{
background: url('images/a4.gif') repeat-x top left;
border-top: solid 1px #D0D4BB;
padding: 1.0em 3.5em 1.0em 3.5em;
font-size: 0.8em;
}
#footer p
{
padding-bottom: 5px;
}
.clear
{
clear: both;
}

div.info_box
{
background-color: #ddd;
border: solid 1px #999;
margin-bottom: 30px;<commit_msg>patched issue where top margin somehow disappeared<commit_after>*
{
margin: 0em;
padding: 0em;
}
body
{
font-family: "Trebuchet MS", sans-serif;
color: #333;
font-size: 11pt;
min-width: 950px;
}
a, span.external_link
{
text-decoration: underline;
cursor: pointer;
color: #996611;
}

table tr
{
vertical-align: top;
}
#header {
padding-left: 110px;
background: #000 url('images/header.gif') repeat-x;
height: 60px;
}
#header h1 a
{
color: #fff;
text-decoration: none;
}
#header h1
{
        padding-top: 7px;
font-size: 15pt;
}
#header h2
{
color: #EfE8C2;
font-size: 13pt;
}
/* Menu */
#menu
{
background-image: url('images/a3.gif');
background-repeat: repeat-x;
background-position: bottom left;
padding: 0.3em 2.5em 0.3em 2.5em;
}
#menu ul
{
list-style: none;
}
#menu li
{
display: inline;
}
#menu li a
{
font-size: 1.1em;
font-weight: bold;
text-decoration: none;
margin-right: 1em;
}
#menu li a:hover
{
color: #6B7E09;
text-decoration: underline;
}
#menu li.selected a
{
color: green;
}

#content
{
padding: 10px 5px 20px 20px;
line-height: 1.6em;
background: url('images/a4.gif') repeat-x top left;
font-size: 11px;
font-family: verdana, "trebuchet ms", sans-serif;
}
#content p
{
margin-bottom: 3px;
}
#content h1, #content h2
{
margin-bottom: 3px;
font-size: 18px;
font-family: "Arial";
}

#content h3,#content h4,#content h5,#content h6
{
margin-bottom: 3px;
font-size: 11px;
}
#content ul
{
margin-bottom: 1.5em;
padding-left: 1em;
}
#content blockquote
{
padding: 1em;
margin-bottom: 1.5em;
background-color: #FFFCD8;
background-image: url('images/a5.gif');
background-repeat: no-repeat;
background-position: top left;
border: dotted 1px #DFD999;
}
#content blockquote p
{
margin-bottom: 0em;
}
#content table.real
{
margin-bottom: 1.5em;
}
#content table.real th
{
text-align: left;
font-weight: bold;
padding: 0.5em;
}
#content table.real td
{
padding: 0.5em;
}
#content table.real tr.rowA
{
background-color: #EAEFE0;
color: inherit;
}
#content table.real tr.rowB
{
background-color: #F9FFEF;
color: inherit;
}
/* Primary Content */
#primaryContentContainer
{
float: left;
margin-right: -510px;
margin-top: 8px;
width: 100%;
}
#primaryContent
{
margin: 0em 300px 0em 0em;
padding: 0em 1.5em 0px 0em;
}
#primaryContent h2, #primaryContent h3
{
border-bottom: dotted 1px #aaa;
padding-bottom: 0.3em;
}
#sideContent h3
{
background: url('images/a1.gif') no-repeat;
width: 240px;
height: 27px;
font-size: 1.0em;
font-weight: bold;
padding-left: 15px;
padding-top: 5px;
margin-top: 10px;
margin-bottom: 10px;
}
/* Tertiary Content */
#sideContent
{
float: right;
width: 300px;
padding-right: 0px;
margin-top: 8px;
}
/* Footer */
#footer
{
background: url('images/a4.gif') repeat-x top left;
border-top: solid 1px #D0D4BB;
padding: 1.0em 3.5em 1.0em 3.5em;
font-size: 0.8em;
}
#footer p
{
padding-bottom: 5px;
}
.clear
{
clear: both;
}

div.info_box
{
background-color: #ddd;
border: solid 1px #999;
margin-bottom: 30px;
{'fraction_non_alphanumeric': 0.1618537091475013, 'fraction_numerical': 0.05533460141794916, 'mean_word_length': 4.676153091265947, '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': '5795580', 'n_tokens_mistral': 2644, 'n_tokens_neox': 2404, 'n_words': 609}