<commit_before>/** Reset */

* {
    margin: 0;
    padding: 0;
}

body {
    background: #fff url(../img/mozilla/background.jpg) no-repeat left top;
    color: #4b4740;
    font: 100%/1.4 Georgia, Times, serif;
}

img {
    border: 0;
}

/** Header */

body {
    margin-top: 30px;
    min-width: 880px;
}

#header, #footer {
    display: block;
}

#main {
    max-width: 1000px;
}

#header {
    background: #2a2a2a;
    background: rgba(38, 38, 38, 0.98);
    border-bottom: 10px solid #a5151e;
    height: 44px;
    margin: 0 0 15px 6%;
    padding-top: 70px;
    position: relative;
    zoom: 1;
}

#header h1 {
    background: transparent url(../img/mozilla/dino.png) no-repeat left top;
    height: 227px;
    left: -130px;
    margin: 0;
    position: absolute;
    text-transform: lowercase;
    top: -30px;
    width: 381px;
    z-index: 1;
}

#header h1 a, #header h1 span {
    color: #fff;
    display: inline;
    float: left;
    font-family: MetaBold, 'Trebuchet MS', Helvetica, Arial, "DejaVu Sans", sans-serif;
    font-size: 50px;
    font-weight: bold;
    letter-spacing: -2px;
    margin: 70px 100px 0 130px;
    padding: 0 40px;
    text-decoration: none;
    text-shadow: 0 1px 5px rgba(0,0,0,0.4);
}

#header h1 a:hover {
    color: #eee;
    text-decoration: none;
    text-shadow: 0 1px 5px rgba(0, 0, 0, 0.4),
                 0 0 10px rgba(255, 255, 255, 0.4);
}

#header-contents {
    bottom: 0;
    padding-left: 295px;
    position: absolute;
    text-align: right;
}

#nav {
    float: left;
}

#nav ul {
    margin: 0;
}

#nav li {
    background: none;
    float: left;
    padding: 0;
}

#nav a, #nav span {
    color: #ccc;<commit_msg>Add extra spacing in header (fix bug 689819)<commit_after>/** Reset */

* {
    margin: 0;
    padding: 0;
}

body {
    background: #fff url(../img/mozilla/background.jpg) no-repeat left top;
    color: #4b4740;
    font: 100%/1.4 Georgia, Times, serif;
}

img {
    border: 0;
}

/** Header */

body {
    margin-top: 30px;
    min-width: 880px;
}

#header, #footer {
    display: block;
}

#main {
    max-width: 1000px;
}

#header {
    background: #2a2a2a;
    background: rgba(38, 38, 38, 0.98);
    border-bottom: 10px solid #a5151e;
    height: 44px;
    margin: 0 0 15px 6%;
    padding-top: 70px;
    position: relative;
    zoom: 1;
}

#header h1 {
    background: transparent url(../img/mozilla/dino.png) no-repeat left top;
    height: 227px;
    left: -130px;
    margin: 0;
    position: absolute;
    text-transform: lowercase;
    top: -30px;
    width: 381px;
    z-index: 1;
}

#header h1 a, #header h1 span {
    color: #fff;
    display: inline;
    float: left;
    font-family: MetaBold, 'Trebuchet MS', Helvetica, Arial, "DejaVu Sans", sans-serif;
    font-size: 50px;
    font-weight: bold;
    letter-spacing: -2px;
    margin: 70px 100px 0 130px;
    padding: 0 40px;
    text-decoration: none;
    text-shadow: 0 1px 5px rgba(0,0,0,0.4);
}

#header h1 a:hover {
    color: #eee;
    text-decoration: none;
    text-shadow: 0 1px 5px rgba(0, 0, 0, 0.4),
                 0 0 10px rgba(255, 255, 255, 0.4);
}

#header-contents {
    bottom: 0;
    padding-left: 305px;
    position: absolute;
    text-align: right;
}

#nav {
    float: left;
}

#nav ul {
    margin: 0;
}

#nav li {
    background: none;
    float: left;
    padding: 0;
}

#nav a, #nav span {
    color: #ccc;
{'fraction_non_alphanumeric': 0.14865265028131477, 'fraction_numerical': 0.0722534794196032, 'mean_word_length': 2.391566265060241, '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': '1330310', 'n_tokens_mistral': 1555, 'n_tokens_neox': 1335, 'n_words': 364}