<commit_before>/*
Main.css
==================================
Begin with generic 'mobile first' styles
*/

/*
Normalize the box model
==================================
*/

*,
*:before,
*:after {
    -webkit-box-sizing: border-box;
       -moz-box-sizing: border-box;
            box-sizing: border-box;
 }

/*
Typography
==================================
*/

body {
    font-family: Arial, sans-serif;
    font-weight: 400;
    font-style: normal;
    line-height: 1.466666667;
}

h1,
h3,
h4,
h5 {
    font-family: "Avenir Next W01", Arial, sans-serif;
    font-weight: 600;
}

h1 {
    font-size: 1.25em;
    color: #75787B;
    margin: 0;
    line-height: 54px;
    display: inline-block;
    float: left;
}

h2 {
    font-weight: 400;
    font-style: normal;
    font-size: 1.375em;
    margin: 1.4em 0 0 0;
}

h4 {
    font-size: 1em;
    text-transform: uppercase;
}

p,
li {
    font-size: .9375em;
}

.page-title {
    margin-top: .727272727em; /* 16/22 */
}

blockquote {
    margin: 0;
    padding: 0 15px;
    border-left: 4px solid #DDD;
    color: #777;
}

/*
Lists
--------------------------------
*/

.main-content ul,
.main-content ol {
    margin-bottom: 1em;
}

.main-content ul ul,
.main-content ol ol {
    margin-bottom: 0;
}

li h3,
li h4 {
    margin: 0;
}

li p {
    margin-top: 0;
}

/*
Links
==================================
*/

a {
    -webkit-transition: .2s;
       -moz-transition: .2s;
            transition: .2s;
}

a,
a:link,
a:visited {
    color: #0072ce;
    border-bottom: 1px dotted #0072ce;
    text-decoration: none; 
}

a:hover {
    border-bottom: 1px solid #7eb8dd; 
    color: #7eb8dd; 
    text-decoration: none;
}

a:active {
    border-bottom: 1px solid #002d72; 
    color: #002d72; 
    text-decoration: none;
}

a:focus {
    border-bottom: 1px solid #0072ce; 
    color: #0072ce; 
    outline: thin dotted; 
    text-decoration: none;
}

a.title-link {
    color: #75787B;
    border-bottom: none;
}

a.title-link:hover,
a.title-link:active,
a.title-link:focus {
    color: #7eb8dd;
    border-bottom: none;
}

a.skip-link {
    color: #0072ce;
    border-bottom: none;
    padding: .25em;
}

a.skip-link:hover,
a.skip-link:active,
a.skip-link:focus {
    background-color: #0072ce;
    color: #fff;
    border-bottom: none;
}

/*
Code
==================================
*/

code {
    display: inline-block;
    max-width: 100%;
    margin: 0;
    padding: 0;
    border: 1px solid #ddd;
    overflow: auto;
    vertical-align: middle;
    border-radius: 3px;
    background-color: #f8f8f8;
    font-size: 12px;
    line-height: 1.3;
}

code:before,
code:after {
    content: "\00a0";
    letter-spacing: -0.2em;
}

code a,
code a:link,
code a:visited {
    border-bottom: 0;
}

.highlight code {
    padding: 6px 10px;
    font-size: 13px;
    line-height: 1.5;
}

.highlight code:before,
.highlight code:after {
    content: "";
    letter-spacing: normal;
}

/*
Responsive images
==================================
*/

img {
    max-width: 100%;
}


/*
Navigation
==================================
*/

nav a {
    display: block;
    padding: .5em 0;
    -webkit-transition: .4s;
       -moz-transition: .4s;
            transition: .4s;
}

nav a,
nav a:link,
nav a:visited {
    border-bottom: none;
}

nav ul {
    margin: 0;
    padding: 0;
    border-top: 1px solid #CDE3F1;
}

nav li {
    list-style: none;
    border-bottom: 1px solid #CDE3F1;
}


/*
Layout
==================================
*/

/* offset the fixed position header for jump links */
.main-content [id]:target:before { 
    display: block; 
    content: " "; 
    margin-top: -80px; 
    height: 80px; 
    visibility: hidden; 
}

.wrap {
    max-width: 960px;
    margin: 0 auto;
    padding: 0 20px;
}

header {
    width: 100%;
    border-bottom: 4px solid #2CB34A;
    background-color: #fff;
    position: fixed;<commit_msg>Less aggressive header tag styling.<commit_after>/*
Main.css
==================================
Begin with generic 'mobile first' styles
*/

/*
Normalize the box model
==================================
*/

*,
*:before,
*:after {
    -webkit-box-sizing: border-box;
       -moz-box-sizing: border-box;
            box-sizing: border-box;
 }

/*
Typography
==================================
*/

body {
    font-family: Arial, sans-serif;
    font-weight: 400;
    font-style: normal;
    line-height: 1.466666667;
}

h1,
h3,
h4,
h5 {
    font-family: "Avenir Next W01", Arial, sans-serif;
    font-weight: 600;
}

h1 {
    font-size: 1.25em;
    color: #75787B;
    margin: 0;
    line-height: 54px;
    display: inline-block;
    float: left;
}

h2 {
    font-weight: 400;
    font-style: normal;
    font-size: 1.375em;
    margin: 1.4em 0 0 0;
}

h4 {
    font-size: 1em;
    text-transform: uppercase;
}

p,
li {
    font-size: .9375em;
}

.page-title {
    margin-top: .727272727em; /* 16/22 */
}

blockquote {
    margin: 0;
    padding: 0 15px;
    border-left: 4px solid #DDD;
    color: #777;
}

/*
Lists
--------------------------------
*/

.main-content ul,
.main-content ol {
    margin-bottom: 1em;
}

.main-content ul ul,
.main-content ol ol {
    margin-bottom: 0;
}

li h3,
li h4 {
    margin: 0;
}

li p {
    margin-top: 0;
}

/*
Links
==================================
*/

a {
    -webkit-transition: .2s;
       -moz-transition: .2s;
            transition: .2s;
}

a,
a:link,
a:visited {
    color: #0072ce;
    border-bottom: 1px dotted #0072ce;
    text-decoration: none; 
}

a:hover {
    border-bottom: 1px solid #7eb8dd; 
    color: #7eb8dd; 
    text-decoration: none;
}

a:active {
    border-bottom: 1px solid #002d72; 
    color: #002d72; 
    text-decoration: none;
}

a:focus {
    border-bottom: 1px solid #0072ce; 
    color: #0072ce; 
    outline: thin dotted; 
    text-decoration: none;
}

a.title-link {
    color: #75787B;
    border-bottom: none;
}

a.title-link:hover,
a.title-link:active,
a.title-link:focus {
    color: #7eb8dd;
    border-bottom: none;
}

a.skip-link {
    color: #0072ce;
    border-bottom: none;
    padding: .25em;
}

a.skip-link:hover,
a.skip-link:active,
a.skip-link:focus {
    background-color: #0072ce;
    color: #fff;
    border-bottom: none;
}

/*
Code
==================================
*/

code {
    display: inline-block;
    max-width: 100%;
    margin: 0;
    padding: 0;
    border: 1px solid #ddd;
    overflow: auto;
    vertical-align: middle;
    border-radius: 3px;
    background-color: #f8f8f8;
    font-size: 12px;
    line-height: 1.3;
}

code:before,
code:after {
    content: "\00a0";
    letter-spacing: -0.2em;
}

code a,
code a:link,
code a:visited {
    border-bottom: 0;
}

.highlight code {
    padding: 6px 10px;
    font-size: 13px;
    line-height: 1.5;
}

.highlight code:before,
.highlight code:after {
    content: "";
    letter-spacing: normal;
}

/*
Responsive images
==================================
*/

img {
    max-width: 100%;
}


/*
Navigation
==================================
*/

nav a {
    display: block;
    padding: .5em 0;
    -webkit-transition: .4s;
       -moz-transition: .4s;
            transition: .4s;
}

nav a,
nav a:link,
nav a:visited {
    border-bottom: none;
}

nav ul {
    margin: 0;
    padding: 0;
    border-top: 1px solid #CDE3F1;
}

nav li {
    list-style: none;
    border-bottom: 1px solid #CDE3F1;
}


/*
Layout
==================================
*/

/* offset the fixed position header for jump links */
.main-content [id]:target:before { 
    display: block; 
    content: " "; 
    margin-top: -80px; 
    height: 80px; 
    visibility: hidden; 
}

.wrap {
    max-width: 960px;
    margin: 0 auto;
    padding: 0 20px;
}

header[role="banner"] {
    width: 100%;
    border-bottom: 4px solid #2CB34A;
    background-color: #fff;
    position: fixed;
{'fraction_non_alphanumeric': 0.21584030907920154, 'fraction_numerical': 0.050225370251126854, 'mean_word_length': 2.479390681003584, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 2, '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': '7348254', 'n_tokens_mistral': 3256, 'n_tokens_neox': 2921, 'n_words': 675}