<commit_before>/* Mint-specific rules */

/* TOP */
#top .shadowRight {
    margin:0px; padding:1px 0px 1px 0px;
    background:url(../images/top_right_shadow.gif) top right no-repeat;
}
#top .surfaceLeft {
    margin:0px 1px 0px 1px; padding:0px;
    background:#e6e6e6 url(../images/top_left.jpg) top left no-repeat;
}
td#user {
    width:24%; min-width:180px; font-size:0.6333em;
    background:url(../images/user_border.gif) no-repeat;
}
#crumb {
    position:relative; min-width:744px; /* width:85%; */
    color:#fff; font-size:0.6333em;
    text-transform:lowercase; text-align:left;
}
#crumb .pad {
    padding:8px 12px 8px 12px; margin:0px;
}
#crumb a {
    color:#fff; font-size:120%; font-weight:bold;
    padding:0px 0px 0px 6px;
    background:url(../images/A_crumb.gif) no-repeat left 50%;
}
#main .pad {
    margin:0px; padding:0px 18px 12px 18px;
}


/* BODY */

body#legal {
    margin: 0em 2em 0em 2em;
}

body#legal p, body#legal li {
    font-size: 80%;
    color: rgb(217, 221, 232);
    text-align: justify;
}

body#legal li {
    list-style-type: circle;
    margin-left: 2em;
}

body#legal a {
    color: white;
    background-image: none;
    padding-right: 0px;
}

body#legal h2 {
    color: white;
}

.disabledInput {
    color: gray;
}

.disabledOption {
    color: gray;
    text-decoration: line-through;
}

.hiddenOption {
    color: blue;
    background-color: teal;
    text-decoration: line-through;
}

/* rss button */
a.rssButton {
    background-image: none;
    padding-right: 0px;
}

a.rssButton img {
    vertical-align: middle;
    float: right;
    border: none;
}

p.error {
        font-size: 125%;
        font-weight: bold;
}
p.errormessage {
        color: red;
        margin-left: 1em;
}

p.message {
        color: blue;
        margin-left: 1em;
}

div.newsItem {
    border-bottom: 1px solid #dddddd;
    padding-bottom: 0.5em;
    margin-bottom: 0.5em;
}

a.newsContinued {
    float: right;
}
span.newsTitle {
    color:#99660A;
    font-weight: normal;
}
em.resign {
    color: #99660A;
}

code {
        margin-left: 1em;
}

.arrows {
        text-transform: lowercase;
}

.palette a {
        text-transform: lowercase;
}

.troveallversions li {
        background: none;
}

#search input {
        background-color: white;
}

#botnav {
    float: right;
}

#botnav a {
    color: #d9dde8;
    margin-right: 12px;
    text-transform: lowercase;
}

#top .surfaceLeft {
    background: #e6e6e6 url(../images/top_left.gif) top left no-repeat;
}

#crumb {
    background: none;
    color: white;
    border: none;
}

table.mainformhorizontal select {
    width: 80%;
}
<commit_msg>style legal h3 tags properly<commit_after>/* Mint-specific rules */

/* TOP */
#top .shadowRight {
    margin:0px; padding:1px 0px 1px 0px;
    background:url(../images/top_right_shadow.gif) top right no-repeat;
}
#top .surfaceLeft {
    margin:0px 1px 0px 1px; padding:0px;
    background:#e6e6e6 url(../images/top_left.jpg) top left no-repeat;
}
td#user {
    width:24%; min-width:180px; font-size:0.6333em;
    background:url(../images/user_border.gif) no-repeat;
}
#crumb {
    position:relative; min-width:744px; /* width:85%; */
    color:#fff; font-size:0.6333em;
    text-transform:lowercase; text-align:left;
}
#crumb .pad {
    padding:8px 12px 8px 12px; margin:0px;
}
#crumb a {
    color:#fff; font-size:120%; font-weight:bold;
    padding:0px 0px 0px 6px;
    background:url(../images/A_crumb.gif) no-repeat left 50%;
}
#main .pad {
    margin:0px; padding:0px 18px 12px 18px;
}


/* BODY */

body#legal {
    margin: 0em 2em 0em 2em;
}

body#legal p, body#legal li {
    font-size: 80%;
    color: rgb(217, 221, 232);
    text-align: justify;
}

body#legal li {
    list-style-type: circle;
    margin-left: 2em;
}

body#legal a {
    color: white;
    background-image: none;
    padding-right: 0px;
}

body#legal h2, body#legal h3 {
    color: white;
}

.disabledInput {
    color: gray;
}

.disabledOption {
    color: gray;
    text-decoration: line-through;
}

.hiddenOption {
    color: blue;
    background-color: teal;
    text-decoration: line-through;
}

/* rss button */
a.rssButton {
    background-image: none;
    padding-right: 0px;
}

a.rssButton img {
    vertical-align: middle;
    float: right;
    border: none;
}

p.error {
        font-size: 125%;
        font-weight: bold;
}
p.errormessage {
        color: red;
        margin-left: 1em;
}

p.message {
        color: blue;
        margin-left: 1em;
}

div.newsItem {
    border-bottom: 1px solid #dddddd;
    padding-bottom: 0.5em;
    margin-bottom: 0.5em;
}

a.newsContinued {
    float: right;
}
span.newsTitle {
    color:#99660A;
    font-weight: normal;
}
em.resign {
    color: #99660A;
}

code {
        margin-left: 1em;
}

.arrows {
        text-transform: lowercase;
}

.palette a {
        text-transform: lowercase;
}

.troveallversions li {
        background: none;
}

#search input {
        background-color: white;
}

#botnav {
    float: right;
}

#botnav a {
    color: #d9dde8;
    margin-right: 12px;
    text-transform: lowercase;
}

#top .surfaceLeft {
    background: #e6e6e6 url(../images/top_left.gif) top left no-repeat;
}

#crumb {
    background: none;
    color: white;
    border: none;
}

table.mainformhorizontal select {
    width: 80%;
}

{'fraction_non_alphanumeric': 0.1438278595696489, 'fraction_numerical': 0.040392600981502456, 'mean_word_length': 2.6824183460736624, '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': '1855417', 'n_tokens_mistral': 2198, 'n_tokens_neox': 2031, 'n_words': 440}