<commit_before>@import "bootstrap";
/* Some Style from the Bootstrap Default Theme */
body {
  padding-top: 50px;
  padding-bottom: 30px;
}

.theme-dropdown .dropdown-menu {
  position: static;
  display: block;
  margin-bottom: 20px;
}

.theme-showcase > p > .btn {
  margin: 5px 0;
}

#page-content-wrapper {
  max-width: 980px;
  background-color: white;
}

#forward-slashes {
  color: cyan;
  font-weight: bold;
}

.navbar {
  background-color: #3d3d3d;
  margin-bottom: 0px;
}

.navbar-brand {
  color: #f2f7f7;

  &:hover {
    color: #93a8b9;
  }
}

.navbar-nav li a {
  font-size: 15px;
  color: #f2f7f7;

  &:hover {
    background-color: #545454;
  }
}

#sidebar-wrapper {
  background-color: #f5f5f5;
}

.sidebar-nav li {
  border-bottom: 1px solid #95a5a6;
}

.sidebar-nav li a {
    font-family: "Merriweather", "Georgia", "Serif";
    color: #111;
    font-size: 16px;
    text-indent: 0px;
    padding: 10px;
    line-height: 30px;
}

.sidebar-nav li a:hover {
    color: black;
    background: white;
}

.sidebar-nav li a.nav-active {
    color: black;
    background: white;
}

a {
  color: #316072;

  &:hover {
    text-decoration: none;
    color: #507292;
  }
}

img {
  max-width: 100%;
}

h1.title {
  font-size: 34px;
  line-height: 42px;
  font-family: "Merriweather", "Georgia", serif;<commit_msg>Lighten links to be more visible<commit_after>@import "bootstrap";
/* Some Style from the Bootstrap Default Theme */
body {
  padding-top: 50px;
  padding-bottom: 30px;
}

.theme-dropdown .dropdown-menu {
  position: static;
  display: block;
  margin-bottom: 20px;
}

.theme-showcase > p > .btn {
  margin: 5px 0;
}

#page-content-wrapper {
  max-width: 980px;
  background-color: white;
}

#forward-slashes {
  color: cyan;
  font-weight: bold;
}

.navbar {
  background-color: #3d3d3d;
  margin-bottom: 0px;
}

.navbar-brand {
  color: #f2f7f7;

  &:hover {
    color: #93a8b9;
  }
}

.navbar-nav li a {
  font-size: 15px;
  color: #f2f7f7;

  &:hover {
    background-color: #545454;
  }
}

#sidebar-wrapper {
  background-color: #f5f5f5;
}

.sidebar-nav li {
  border-bottom: 1px solid #95a5a6;
}

.sidebar-nav li a {
    font-family: "Merriweather", "Georgia", "Serif";
    color: #111;
    font-size: 16px;
    text-indent: 0px;
    padding: 10px;
    line-height: 30px;
}

.sidebar-nav li a:hover {
    color: black;
    background: white;
}

.sidebar-nav li a.nav-active {
    color: black;
    background: white;
}

a {
  color: #2980b9;

  &:hover {
    text-decoration: none;
    color: #3498db;
  }
}

img {
  max-width: 100%;
}

h1.title {
  font-size: 34px;
  line-height: 42px;
  font-family: "Merriweather", "Georgia", serif;
{'fraction_non_alphanumeric': 0.15384615384615385, 'fraction_numerical': 0.052157598499061916, 'mean_word_length': 2.8976608187134505, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '7371360', 'n_tokens_mistral': 1210, 'n_tokens_neox': 1100, 'n_words': 242}