<commit_before>/* The sidebar menu */
.sidebar {
  width: 200px; /* Set the width of the sidebar */
  z-index: 1; /* Stay on top */
  top: 150px; /* Stay under the banner */
  margin-top: 150px; /* Stay under the banner */
  margin-left: 0px;
  left: 0px;

  float: left;
  background-color: #A9A9A9; /* Dark Gray */
  padding-top: 0px;
  padding-left: 0px;
  overflow: auto;
}

.sidebar h2 {
  padding-top: 4px;
  padding-bottom: 1px;
  padding-left: 2px;
  margin-top: 0px;
  margin-bottom: 1px;
  font-size: 17px;
}

.sidebar ul {
  padding-top: 0px;
  padding-bottom: 0px;
  margin-top: 0px;
  margin-bottom: 0px;
}

/* The navigation menu links */
.sidebar a {
  padding: 0px 4px 1px 4px;
  text-decoration: none;
  font-size: 15px;
  color: #000000;
  display: block;
}

/* When you mouse over the navigation links, change their color */
.sidebar a:hover {
  color: #000000;
}

/* On smaller screens, where height is less than 450px, change the style of the sidebar (less padding and a smaller font size) */
@media screen and (max-height: 450px) {
  .sidebar {padding-top: 15px;}
  .sidebar a {font-size: 15px;}
}

a {
    text-decoration: none;
    color: #999;
}
a:hover {
    text-decoration: underline;
}

/* Style page content */
.container {
  margin-top: 150px; /* Same as the height of the banner */
  /*padding-top: 150px;*/*/ /* Banner height */
  padding-left: 10px;
  margin-left: 200px; /* Same as the width of the sidebar */
  top: 150px;       /* Stay under the banner */
  /*padding: 10px 10px;*/
}

.container h1, .container h2, .container h3, .container h4 {
    color: #003380;
}
p {
    font-size: 1.1em;
    line-height: 1.0em;
    color: #333;
}
footer {
    border-top: 1px solid #d5d5d5;
    margin-left: 200px; /* Same as the width of the sidebar */
    font-size: .8em;
}

/*
ul.posts {
    margin: 20px auto 40px; 
    font-size: 1.1em;<commit_msg>Convert site to markdown<commit_after>/* The sidebar menu */
.sidebar {
  width: 200px; /* Set the width of the sidebar */
  z-index: 1; /* Stay on top */
  top: 150px; /* Stay under the banner */
  margin-top: 150px; /* Stay under the banner */
  margin-left: 0px;
  left: 0px;

  float: left;
  background-color: #A9A9A9; /* Dark Gray */
  padding-top: 0px;
  padding-left: 0px;
  overflow: auto;
}

.sidebar h2 {
  padding-top: 4px;
  padding-bottom: 1px;
  padding-left: 2px;
  margin-top: 0px;
  margin-bottom: 1px;
  font-size: 17px;
}

.sidebar ul {
  padding-top: 0px;
  padding-bottom: 0px;
  margin-top: 0px;
  margin-bottom: 0px;
}

/* The navigation menu links */
.sidebar a {
  padding: 0px 4px 1px 4px;
  text-decoration: none;
  font-size: 15px;
  color: #000000;
  display: block;
}

/* When you mouse over the navigation links, change their color */
.sidebar a:hover {
  color: #000000;
}

/* On smaller screens, where height is less than 450px, change the style of the sidebar (less padding and a smaller font size) */
@media screen and (max-height: 450px) {
  .sidebar {padding-top: 15px;}
  .sidebar a {font-size: 15px;}
}

a {
    text-decoration: none;
    color: #999;
}
a:hover {
    text-decoration: underline;
}

/* Style page content */
.container {
  /*margin-top: 150px;*/ /* Same as the height of the banner */
  padding-top: 150px; /* Banner height */
  padding-left: 10px;
  margin-left: 200px; /* Same as the width of the sidebar */
  top: 150px;       /* Stay under the banner */
  /*padding: 10px 10px;*/
}

.container h1, .container h2, .container h3, .container h4 {
    color: #003380;
}
p {
    font-size: 1.1em;
    line-height: 1.0em;
    color: #333;
}
footer {
    border-top: 1px solid #d5d5d5;
    margin-left: 200px; /* Same as the width of the sidebar */
    font-size: .8em;
}

/*
ul.posts {
    margin: 20px auto 40px; 
    font-size: 1.1em;
{'fraction_non_alphanumeric': 0.14213736409440467, 'fraction_numerical': 0.05780959957570936, 'mean_word_length': 2.7833500501504513, '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': '302583', 'n_tokens_mistral': 1586, 'n_tokens_neox': 1380, 'n_words': 446}