<commit_before>@font-face {
  font-family: "Lobster";
  src: url('../fonts/Lobster.woff');
}
* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}
html {
  background-color: #2f4c57;
  color: #333;
  font: 14px/16px helvetica;
}
body {
  margin: 0 auto;
  /*max-width: 1000px;*/
  width: 100%;
}
main {
  background-color: #fff;
  max-width: 1000px;
  margin: 0 auto;
  width: 100%;
}
ul {
  list-style-type: none;
}
/* IDs */
#audio-controls > button {
  background-color: #fff;
  background-position: center;
  background-repeat: no-repeat;
  background-size: contain;
  border: none;
  cursor: pointer;
  float: right;
  height: 40px;
  transition: background-color 0.5s;
}
#audio-controls > button:hover {
  background-color: #eee;
  transition: background-color 0.5s;
}
#audio-nav {
  background-color: #333;
  color: #fff;
  height: 200px;
  max-width: 1000px;
  position: fixed;
  top: 40px;
  width: 100%;
}
#menu-bar {
  background-color: #222;
  color: #fff;
  height: 40px;
  position: fixed;
  width: 100%;
  z-index: 1;
}
#menu-bar > h1 {
  font: 30px/34px "Lobster";
  font-weight: normal;
  margin: 0 12px;
}
#menu-bar a{
  color: #fff;
  text-decoration: none;
}
#menu-bar a:hover{
  color: #ddd;<commit_msg>CSS fixed. User menu rendered behind audio nav.<commit_after>@font-face {
  font-family: "Lobster";
  src: url('../fonts/Lobster.woff');
}
* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}
html {
  background-color: #2f4c57;
  color: #333;
  font: 14px/16px helvetica;
}
body {
  margin: 0 auto;
  /*max-width: 1000px;*/
  width: 100%;
}
main {
  background-color: #fff;
  max-width: 1000px;
  margin: 0 auto;
  width: 100%;
}
ul {
  list-style-type: none;
}
/* IDs */
#audio-controls > button {
  background-color: #fff;
  background-position: center;
  background-repeat: no-repeat;
  background-size: contain;
  border: none;
  cursor: pointer;
  float: right;
  height: 40px;
  transition: background-color 0.5s;
}
#audio-controls > button:hover {
  background-color: #eee;
  transition: background-color 0.5s;
}
#audio-nav {
  background-color: #333;
  color: #fff;
  height: 200px;
  max-width: 1000px;
  position: fixed;
  top: 40px;
  width: 100%;
}
#menu-bar {
  background-color: #222;
  color: #fff;
  height: 40px;
  position: fixed;
  width: 100%;
  z-index: 2;
}
#menu-bar > h1 {
  font: 30px/34px "Lobster";
  font-weight: normal;
  margin: 0 12px;
}
#menu-bar a{
  color: #fff;
  text-decoration: none;
}
#menu-bar a:hover{
  color: #ddd;
{'fraction_non_alphanumeric': 0.1653290529695024, 'fraction_numerical': 0.05377207062600321, 'mean_word_length': 3.3583916083916083, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 9, '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': '2559807', 'n_tokens_mistral': 1125, 'n_tokens_neox': 1007, 'n_words': 240}