<commit_before>/* fonts and tomorrow theme */
@import url(http://fonts.googleapis.com/css?family=Open+Sans:400,800&subset=latin,latin-ext);
@import url(http://fonts.googleapis.com/css?family=Roboto:400,700&subset=latin,latin-ext);
@import url("./tomorrow.css");
@import url("http://cdnjs.cloudflare.com/ajax/libs/animate.css/3.1.0/animate.min.css");
@import url("//netdna.bootstrapcdn.com/font-awesome/4.1.0/css/font-awesome.css");

/* markdown css */
@import url("./markdown.css");

/* general */
body {
    font-family: 'Open Sans', 'sans-serif';
    color: #2c3e50;
    margin: 1em;
    background: white;
}

a {
    color: #2980b9;
    text-decoration: none;
    font-weight: bold;
    -webkit-transition: color 0.2s ease;
    -moz-transition: color 0.2s ease;
    -ms-transition: color 0.2s ease;
    -o-transition: color 0.2s ease;
    transition: color 0.2s ease;
}

a:hover {
    color: #3498db;
}

.text-center {
    text-align: center;
}

img {
    max-width: 100%;
    max-height: 1000%;
}

pre code {
    overflow: auto;
    font-size: 14px;
}

h1, h2, h3, h4, h5, h6 {
    font-weight: bold;
}

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
    text-decoration: none;
    color: rgb(44, 62, 80);
}

p {
    margin-top: 15px;
    margin-bottom: 25px;
    line-height: 28px;
}

.container {
    width: 100%;
    max-width: 990px;
    margin: 0 auto;
}

/* header */
h1.social {
    font-size: 2em !important;
}

h1.social a {
    margin-right: 10px;
}
h1.social a:last-of-type {
    margin-right: 0;
}

.header img {
    width: 120px;
    height: 120px;
}

.header h1 {
    margin: 0;
    font-size: 1.2em;
    font-weight: 900;
    text-transform: uppercase;
}

.header h2,
.post .post-bottom,
.post .post-top {
    color: #939393;
    font-size: .8em;
    font-weight: 900;
    font-family: 'Open Sans', 'sans-serif';
}

.post .post-info {
    text-transform: uppercase;
}

img.rounded {
    border-radius: 100%;
}

/* post header */
.top-header img {
    float: left;
    margin: 0 1.618em 0 0;
    max-height: 35px;

}
.top-header h1 {
    font-size: 1em;
    float: left;
    margin: 0;
    line-height: 2.2;
}
div.top-header {
}
.top-header a {
    color: white;
}
.top-header {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    margin: 0 0 3.631em;
    padding: 0.5em 2.618em;
    color: #fff;
    background: #2980b9;
    opacity: 0.97;
    filter: alpha(opacity=@opacity * 100);
    z-index: 9999;
}

/* instant click */
.instantclick-bar {
    background: #2980b9 !important;
}

/* posts */
div.post a.post-title h1 {
    margin: 70px 0 -10px 0;
}
div.post {
    padding-bottom: 1em;
    margin: 4em auto 5em auto;
    max-width: 750px;
    position: relative;
}

div.post .post-content {
    overflow: hidden;
    max-height: 21em;
}

div.post-bottom-shadow {
    background: -moz-linear-gradient(top,  rgba(255,255,255,0) 0%, rgba(255,255,255,1) 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(255,255,255,0)), color-stop(100%,rgba(255,255,255,1))); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top,  rgba(255,255,255,0) 0%,rgba(255,255,255,1) 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top,  rgba(255,255,255,0) 0%,rgba(255,255,255,1) 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top,  rgba(255,255,255,0) 0%,rgba(255,255,255,1) 100%); /* IE10+ */
    background: linear-gradient(to bottom,  rgba(255,255,255,0) 0%,rgba(255,255,255,1) 100%); /* W3C */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#00ffffff', endColorstr='#ffffff',GradientType=0 ); /* IE6-9 */
    position: absolute;
    left: 0;
    right: 0;
    height: 95px;
    display: block;
    bottom: 15px;
}

div.post-bottom {
    position: absolute;
}

.content {
    padding-bottom: 8px;
    font-family: 'Roboto', serif;
}

.content.single-post {
    margin: 6.505em auto 4.505em;
    max-width: 740px;
}

p.post-tags,
p.post-date {
    font-family: "Open Sans", sans-serif;
    font-size: .8em;
    color: #939393;
    text-transform: uppercase;
    margin: 0;
}

p.post-tags span.tag:last-of-type > span.separator {
    display: none;
}

p.post-tags span.separator:after {
    content: ", ";
}

.single-post .markdown {
   margin: 3em 0 0 0;
}

h1.post-title {
    margin-bottom: 0px;
}

/* feedback */
div.blog-feedback {
    background: #F0F0F0;
    padding: 1px 21px;
    border-radius: 4px;
    border: 1px solid #aaa;
    box-shadow: 0 6px 6px -6px black;
}
.blog-feedback p {
    margin: 10px 0 !important;
    font-weight: normal;<commit_msg>Minor CSS fixes<commit_after>/* fonts and tomorrow theme */
@import url(http://fonts.googleapis.com/css?family=Open+Sans:400,800&subset=latin,latin-ext);
@import url(http://fonts.googleapis.com/css?family=Roboto:400,700&subset=latin,latin-ext);
@import url("./tomorrow.css");
@import url("http://cdnjs.cloudflare.com/ajax/libs/animate.css/3.1.0/animate.min.css");
@import url("//netdna.bootstrapcdn.com/font-awesome/4.1.0/css/font-awesome.css");

/* markdown css */
@import url("./markdown.css");

/* general */
body {
    font-family: 'Open Sans', 'sans-serif';
    color: #2c3e50;
    margin: 1em;
    background: white;
}

a {
    color: #2980b9;
    text-decoration: none;
    font-weight: bold;
    -webkit-transition: color 0.2s ease;
    -moz-transition: color 0.2s ease;
    -ms-transition: color 0.2s ease;
    -o-transition: color 0.2s ease;
    transition: color 0.2s ease;
}

a:hover {
    color: #3498db;
}

.text-center {
    text-align: center;
}

img {
    max-width: 100%;
    max-height: 1000%;
}

pre code {
    overflow: auto;
    font-size: 14px;
}

h1, h2, h3, h4, h5, h6 {
    font-weight: bold;
}

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
    text-decoration: none;
    color: rgb(44, 62, 80);
}

p {
    margin-top: 15px;
    margin-bottom: 25px;
    line-height: 28px;
}

.container {
    width: 100%;
    max-width: 990px;
    margin: 0 auto;
}

/* header */
h1.social {
    font-size: 2em !important;
}

h1.social a {
    margin-right: 10px;
}
h1.social a:last-of-type {
    margin-right: 0;
}

.header img {
    width: 120px;
    height: 120px;
}

.header h1 {
    margin: 0;
    font-size: 1.2em;
    font-weight: 900;
    text-transform: uppercase;
}

.header h2,
.post .post-bottom,
.post .post-top {
    color: #939393;
    font-size: .8em;
    font-weight: 900;
    font-family: 'Open Sans', 'sans-serif';
}

.post .post-info {
    text-transform: uppercase;
}

img.rounded {
    border-radius: 100%;
}

/* post header */
.top-header img {
    float: left;
    margin: 0 1.618em 0 0;
    max-height: 35px;

}
.top-header h1 {
    font-size: 1em;
    float: left;
    margin: 0;
    line-height: 2.2;
}
div.top-header {
}
.top-header a {
    color: white;
}
.top-header {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    margin: 0 0 3.631em;
    padding: 0.5em 2.618em;
    color: #fff;
    background: #2980b9;
    opacity: 0.97;
    filter: alpha(opacity=@opacity * 100);
    z-index: 9999;
}

/* instant click */
.instantclick-bar {
    background: #2980b9 !important;
}

/* posts */
div.post a.post-title h1 {
    margin: 70px 0 -10px 0;
}
div.post {
    padding-bottom: 1em;
    margin: 4em auto 5em auto;
    max-width: 750px;
    position: relative;
}

div.post .post-content {
    overflow: hidden;
    max-height: 21em;
}

div.post-bottom-shadow {
    background: -moz-linear-gradient(top,  rgba(255,255,255,0) 0%, rgba(255,255,255,1) 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(255,255,255,0)), color-stop(100%,rgba(255,255,255,1))); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top,  rgba(255,255,255,0) 0%,rgba(255,255,255,1) 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top,  rgba(255,255,255,0) 0%,rgba(255,255,255,1) 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top,  rgba(255,255,255,0) 0%,rgba(255,255,255,1) 100%); /* IE10+ */
    background: linear-gradient(to bottom,  rgba(255,255,255,0) 0%,rgba(255,255,255,1) 100%); /* W3C */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#00ffffff', endColorstr='#ffffff',GradientType=0 ); /* IE6-9 */
    position: absolute;
    left: 0;
    right: 0;
    height: 95px;
    display: block;
    bottom: 15px;
}

div.post-bottom {
    position: absolute;
}

.content {
    padding-bottom: 8px;
    font-family: 'Roboto', serif;
}

.content.single-post {
    margin: 6.505em auto 2.505em;
    max-width: 740px;
}

p.post-tags,
p.post-date {
    font-family: "Open Sans", sans-serif;
    font-size: .8em;
    color: #939393;
    text-transform: uppercase;
    margin: 0;
}

p.post-tags span.tag:last-of-type > span.separator {
    display: none;
}

p.post-tags span.separator:after {
    content: ", ";
}

.single-post .markdown {
   margin: 3em 0 0 0;
}

h1.post-title {
    margin-bottom: 0px;
}

/* feedback */
div.blog-feedback {
    background: #F0F0F0;
    padding: 1px 21px;
    border-radius: 4px;
    border: 1px solid #aaa;
    box-shadow: 0 6px 6px -6px black;
    margin-top: 2em;
}
.blog-feedback p {
    margin: 10px 0 !important;
    font-weight: normal;
{'fraction_non_alphanumeric': 0.17259380097879282, 'fraction_numerical': 0.08493746601413812, 'mean_word_length': 2.8573825503355703, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2428976', 'n_tokens_mistral': 4311, 'n_tokens_neox': 3689, 'n_words': 785}