<commit_before>@import url("pygment.css");
@import url(//fonts.googleapis.com/css?family=Overlock:400,700,900);
@import url(//fonts.googleapis.com/css?family=PT+Mono);
/*
 *  Name: Fresh
 *  Date: February 2013
 *  Description: A Pelican theme with clean layout. Based on Smashing HTML5 and Twitter Bootstrap.
 *  Version: 1.0.0
 *  Author: <NAME>
 *  Author URI: http://jsliang.com
 */
body {
  color: #333;
  font-size: 15px;
  font-family: "Lucida Sans", sans-serif;
  line-height: 22.5px;
  margin: 0;
  padding: 0;
  text-align: left; }

a {
  color: #226ae9; }
  a:hover {
    color: #08c; }

h1 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 30px;
  line-height: 60px; }

h2 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 24px;
  color: #113D8B;
  line-height: 48px; }

h3 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 21.6px;
  color: #000;
  line-height: 43.2px; }

h4 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 19.44px;
  color: #000;
  line-height: 38.88px; }

h5 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 17.496px;
  color: #666;
  line-height: 34.992px; }

h6 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 15.7464px;
  color: #777;
  line-height: 31.4928px; }

hr {
  border: 2px solid #eeeeee; }

strong, b {
  font-weight: bold; }

em, i {
  font-style: italic; }

ul {
  list-style: outside disc;
  margin: 0em 0 1.5em 1.5em; }

ol {
  list-style: outside decimal;
  margin: 1em 0 1.5em 1.5em; }
 
td {
    padding: 0 1em;
}

.post-info {
  font-size: 0.8em;
  text-align: right;
  margin-bottom: 1em; }
  .post-info address {
    font-style: normal;
    display: inline; }

.readmore {
  margin-top: 1em;
  font-weight: bold; }

.archive_row {
  font-family: "Microsoft YaHei", Overlock, sans-serif; }
  .archive_row .archive_year {
    color: #113D8B;
    font-size: 24px;
    font-weight: bold;
    margin-top: 24px;
    text-align: center; }
  .archive_row .archive_month {
    color: #000;
    font-size: 21.6px;
    font-weight: bold;
    margin-top: 21.6px;
    text-align: center; }<commit_msg>also change margin for ol elements.<commit_after>@import url("pygment.css");
@import url(//fonts.googleapis.com/css?family=Overlock:400,700,900);
@import url(//fonts.googleapis.com/css?family=PT+Mono);
/*
 *  Name: Fresh
 *  Date: February 2013
 *  Description: A Pelican theme with clean layout. Based on Smashing HTML5 and Twitter Bootstrap.
 *  Version: 1.0.0
 *  Author: <NAME>
 *  Author URI: http://jsliang.com
 */
body {
  color: #333;
  font-size: 15px;
  font-family: "Lucida Sans", sans-serif;
  line-height: 22.5px;
  margin: 0;
  padding: 0;
  text-align: left; }

a {
  color: #226ae9; }
  a:hover {
    color: #08c; }

h1 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 30px;
  line-height: 60px; }

h2 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 24px;
  color: #113D8B;
  line-height: 48px; }

h3 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 21.6px;
  color: #000;
  line-height: 43.2px; }

h4 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 19.44px;
  color: #000;
  line-height: 38.88px; }

h5 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 17.496px;
  color: #666;
  line-height: 34.992px; }

h6 {
  font-family: "Microsoft YaHei", Overlock, sans-serif;
  font-weight: bold;
  font-size: 15.7464px;
  color: #777;
  line-height: 31.4928px; }

hr {
  border: 2px solid #eeeeee; }

strong, b {
  font-weight: bold; }

em, i {
  font-style: italic; }

ul {
  list-style: outside disc;
  margin: 0em 0 1.5em 1.5em; }

ol {
  list-style: outside decimal;
  margin: 0em 0 1.5em 1.5em; }
 
td {
    padding: 0 1em;
}

.post-info {
  font-size: 0.8em;
  text-align: right;
  margin-bottom: 1em; }
  .post-info address {
    font-style: normal;
    display: inline; }

.readmore {
  margin-top: 1em;
  font-weight: bold; }

.archive_row {
  font-family: "Microsoft YaHei", Overlock, sans-serif; }
  .archive_row .archive_year {
    color: #113D8B;
    font-size: 24px;
    font-weight: bold;
    margin-top: 24px;
    text-align: center; }
  .archive_row .archive_month {
    color: #000;
    font-size: 21.6px;
    font-weight: bold;
    margin-top: 21.6px;
    text-align: center; }
{'fraction_non_alphanumeric': 0.1551948051948052, 'fraction_numerical': 0.05844155844155844, 'mean_word_length': 3.07136563876652, 'pattern_counts': {'":': 0, '<': 5, '<?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': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5353800', 'n_tokens_mistral': 2092, 'n_tokens_neox': 1875, 'n_words': 445}