<commit_before>@import "bootstrap.css";

.titlebar {
    color: white;
    background: #e9af43;
    padding: 10px 0;
}

.titlebar h1 {
    font-size: 20px;
    line-height: 22px;
}

footer {
    margin: 3em 1em 0;
    color: #999;
    border-top: 1px solid #ddd;
    padding: 0.8em 0.3em;
    text-align: right;
}

header {
    margin-top: 1em;
    margin-bottom: 1em;
}

header p {
    color: #777;
}

.navcontainer {
    padding-top: 18px;
}
nav {
    padding-top: 10px;
}

nav ul {
    margin-left: 1em;
    padding-left: 0;
    list-style: none;
}
@media (max-width: 992px) {
  nav > ul > li > a {
    font-size: 120%;
  }
  nav > ul > li > ul li {
    display: inline-block;
    vertical-align: top;
    margin-left: 16px;
  }
  nav > ul > li > ul li.collapsable {
    display: block;
  }
  nav > ul > li > ul ul {
    display: block;
  }
}

.treeview .hitarea {
  background: 0 -16px url(../images/nav.gif);
  height: 16px;
  width: 16px;
  margin-left: -16px;
  float: left;
  cursor: pointer;
}
.treeview .expandable-hitarea { 
  background-position: 0 0;
}
.treeview .selected > .hitarea { 
  background-position: 0 -48px;
}
.treeview .selected > .expandable-hitarea { 
  background-position: 0 -32px;
}
/* fix for IE6 */
* html .hitarea {
  display: inline;
  float:none;
}

nav .selected > :link {
  font-weight: bold;
}
nav .selected > :hover {
  text-decoration: none;
}

h1, h2, h3 {
    font-weight: normal;
}

h1 {
    line-height: 48px;
}

h2 {
    line-height: 36px;
    margin-top: 12px;
    font-size: 18px;
}

h3 {
    font-size: 14px;
    line-height: 28px;
    font-weight: bold;
}

p::after {
    clear: both;
    display: block;
    content: "";
}

figure {
    width: 80%;
    margin: 1em;
    margin-left: auto;
    margin-right: auto;
}

figure img {
    width: 100%;
}

figcaption {
    text-align: center;
    color: #666;
    margin-top: 0.5em;
}

/* ul {
    margin-left: 0;
} */

.alert ul {
    margin-left: 2em;
}
.alert h3 {
    margin-top: 0;
}
.alert.small {
  margin-bottom: 5px;
  padding: 5px 35px 5px 10px;
}
.alert.small h3 {
  display: inline;
}

pre {
    font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
}

table code {
    border: none;
    background: none;
    color: inherit;
    padding: 0;
}

code, pre {
  font-family: Menlo, Monaco, Consolas, "Ubuntu Mono", "DejaVu Mono", monospace;
}


.nav-tabs + .panel {
  border-radius: 0px 0px 4px 4px;
  border-top: 0;
}
.nav-tabs + .tab-content {
  margin-top: 1em;
}
.nav-tabs a:focus {
  outline: 0;
}
button.expandable {
  background: -4px -16px url(../images/nav.gif) no-repeat;
  padding-left: 12px;
  width: 100%;
  text-align: left;
  margin-bottom: 2px;
}
button.expandable:hover,
button.expandable:focus {
  background-color: #EFEFEF;
  border-radius: 4px 4px 4px 4px;
  text-decoration: none;
}
button.expandable:focus {
  background-color: #F8F8F8;
}
button.expandable.collapsed { 
  background-position: -4px 0;
}

.green {
  color: green;
}
.yellow {
  color: yellow;
}
.red {
  color: red;
}
.blue {
  color: blue;
}
.orange {
  color: orange;
}
<commit_msg>Fixed a css bug in the navigation<commit_after>@import "bootstrap.css";

.titlebar {
    color: white;
    background: #e9af43;
    padding: 10px 0;
}

.titlebar h1 {
    font-size: 20px;
    line-height: 22px;
}

footer {
    margin: 3em 1em 0;
    color: #999;
    border-top: 1px solid #ddd;
    padding: 0.8em 0.3em;
    text-align: right;
}

header {
    margin-top: 1em;
    margin-bottom: 1em;
}

header p {
    color: #777;
}

.navcontainer {
    padding-top: 18px;
}
nav {
    padding-top: 10px;
}

nav ul {
    padding-left: 1em;
    margin-left: 0;
    list-style: none;
}
@media (max-width: 992px) {
  nav > ul > li > a {
    font-size: 120%;
  }
  nav > ul > li > ul li {
    display: inline-block;
    vertical-align: top;
    margin-left: 16px;
  }
  nav > ul > li > ul li.collapsable {
    display: block;
  }
  nav > ul > li > ul ul {
    display: block;
  }
}

.treeview .hitarea {
  background: 0 -16px url(../images/nav.gif);
  height: 16px;
  width: 16px;
  margin-left: -16px;
  float: left;
  cursor: pointer;
}
.treeview .expandable-hitarea { 
  background-position: 0 0;
}
.treeview .selected > .hitarea { 
  background-position: 0 -48px;
}
.treeview .selected > .expandable-hitarea { 
  background-position: 0 -32px;
}
/* fix for IE6 */
* html .hitarea {
  display: inline;
  float:none;
}

nav .selected > :link {
  font-weight: bold;
}
nav .selected > :hover {
  text-decoration: none;
}

h1, h2, h3 {
    font-weight: normal;
}

h1 {
    line-height: 48px;
}

h2 {
    line-height: 36px;
    margin-top: 12px;
    font-size: 18px;
}

h3 {
    font-size: 14px;
    line-height: 28px;
    font-weight: bold;
}

p::after {
    clear: both;
    display: block;
    content: "";
}

figure {
    width: 80%;
    margin: 1em;
    margin-left: auto;
    margin-right: auto;
}

figure img {
    width: 100%;
}

figcaption {
    text-align: center;
    color: #666;
    margin-top: 0.5em;
}

/* ul {
    margin-left: 0;
} */

.alert ul {
    margin-left: 2em;
}
.alert h3 {
    margin-top: 0;
}
.alert.small {
  margin-bottom: 5px;
  padding: 5px 35px 5px 10px;
}
.alert.small h3 {
  display: inline;
}

pre {
    font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
}

table code {
    border: none;
    background: none;
    color: inherit;
    padding: 0;
}

code, pre {
  font-family: Menlo, Monaco, Consolas, "Ubuntu Mono", "DejaVu Mono", monospace;
}


.nav-tabs + .panel {
  border-radius: 0px 0px 4px 4px;
  border-top: 0;
}
.nav-tabs + .tab-content {
  margin-top: 1em;
}
.nav-tabs a:focus {
  outline: 0;
}
button.expandable {
  background: -4px -16px url(../images/nav.gif) no-repeat;
  padding-left: 12px;
  width: 100%;
  text-align: left;
  margin-bottom: 2px;
}
button.expandable:hover,
button.expandable:focus {
  background-color: #EFEFEF;
  border-radius: 4px 4px 4px 4px;
  text-decoration: none;
}
button.expandable:focus {
  background-color: #F8F8F8;
}
button.expandable.collapsed { 
  background-position: -4px 0;
}

.green {
  color: green;
}
.yellow {
  color: yellow;
}
.red {
  color: red;
}
.blue {
  color: blue;
}
.orange {
  color: orange;
}

{'fraction_non_alphanumeric': 0.15195602974458455, 'fraction_numerical': 0.040737148399612025, 'mean_word_length': 2.5537047673750717, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 35, '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': '5764983', 'n_tokens_mistral': 2737, 'n_tokens_neox': 2516, 'n_words': 614}