<commit_before>// nav bar
nav {
  // anchor to top
  position: fixed;
  top: 0;
  left: 0;
  right: 0;

  height: $navbar-height - 2px; // border 1px
  background-color: #E3E3E3;
  border-bottom: solid #9B9B9B 1px;

  a {
    color: #3081B7;
    text-decoration: none;
    font-weight: bold;
  }

  li {
    float: left;
    margin: 20px 0 20px 20px;
  }

  // 'Filter'
  button {
    float: right;
    background-color: #BDBDBD;
    color: white;
    width: 160px;<commit_msg>fix nav gmap fight<commit_after>// nav bar
nav {
  // anchor to top
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  z-index: 100;

  height: $navbar-height - 2px; // border 1px
  background-color: #E3E3E3;
  border-bottom: solid #9B9B9B 1px;

  a {
    color: #3081B7;
    text-decoration: none;
    font-weight: bold;
  }

  li {
    float: left;
    margin: 20px 0 20px 20px;
  }

  // 'Filter'
  button {
    float: right;
    background-color: #BDBDBD;
    color: white;
    width: 160px;
{'fraction_non_alphanumeric': 0.13230769230769232, 'fraction_numerical': 0.05846153846153846, 'mean_word_length': 2.3084745762711862, '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': '5170395', 'n_tokens_mistral': 444, 'n_tokens_neox': 389, 'n_words': 106}