<commit_before>/** Main layout **/
html, body {
  position: relative;
  height: 100%;
}
@topbar-height: 50px;
@bottombar-height: 50px;
@leftbar-width: 320px;
body {
  /* padding top by top bar height */
  padding-top: @topbar-height;
}

.navbar-nav {
  // keep margin and padding the same as for media width > @screen-sm-min
  margin: 0;
  > li > a {
    padding-top: 15px;
    padding-bottom: 15px;
  }
}

.footer {
  position: absolute;
  bottom: 0;
  width: 100%;
  /* Set the fixed height of the footer here */
  height: @bottombar-height;
}

#main-container {
  height: 100%;
  position: relative;
}

#map {
  width: auto;
  height: 100%;
  overflow: hidden;
  background-color: #dfdfdf;
  position: relative;

  &:-moz-full-screen {
    height: 100%;
    width: 100%;
  }
  &:-webkit-full-screen {
    height: 100%;
    width: 100%;
  }
  &:-ms-fullscreen {
    height: 100%;
    width: 100%;
  }
  &:full-screen {
    height: 100%;
    width: 100%;
  }
}

#sidebar {
  display: block;
  width: @leftbar-width;
  height: 100%;
  max-width: 100%;
  float: left;
  .transition(all 300ms ease-out 0s);
  position: relative;
}

#sidebar.open {
  margin-left: 0;
}

@media (min-width: @screen-sm-min) {
  #sidebar {
    margin-left: -(@leftbar-width);
  }
}

@media (max-width: @screen-xs-max) {
  #sidebar {
    margin-left: -100%;
    width: 100%;
  }
}

@media (min-width: @screen-sm-min) {
  body {
    /* padding bottom by footer height */
    padding-bottom: @bottombar-height;
  }
}
@media (max-width: @screen-xs-max) {
  body {
    padding-bottom: 0;
    padding-top: 40px;
    overflow: hidden;
  }
  #sidebar {
    width: 100%;
    position: absolute;
    z-index: 2;
  }
  .footer {
    position: absolute;
    height: 0;
    bottom: 0;
  }
}

.ol-control {
  &, &:hover {
    background-color: transparent;
  }
  button {
    width: 41px;
    height: 41px;
    font-size: 1.5em;
    font-weight: normal;
    text-align: center;
    text-indent: 0;
    border: 1px solid #8394a0;
    font-family: "geoportail-icons" !important;
    margin: -1px;
  }
  &.infobar {
    z-index: 2;
    bottom: 8px;
    right: 8px;
    padding: 0px;
    border: 1px solid #8394a0;
    background-color: white;
    .infobar-content {
        float: left;
        padding-top: 9px;
        padding-right: 10px;
    }
    .infobar-content * {
        display: inline-block;
    }
    .infobar-content .ol-scale-line {
        position: inherit;
        background: rgba(0,0,0,0);
        padding: 0px 5px 0px 5px;
        .ol-scale-line-inner {
            border: 2px solid grey;
            border-top: none;
            color: black;
            font-size: 12px;
            text-align: center;
            margin: 1px;
        }
    }
    .mouse-coordinates {
        width: 255px;
    }
    button {
        display: inline-block;
        float: right;<commit_msg>bugfix for infobar button<commit_after>/** Main layout **/
html, body {
  position: relative;
  height: 100%;
}
@topbar-height: 50px;
@bottombar-height: 50px;
@leftbar-width: 320px;
body {
  /* padding top by top bar height */
  padding-top: @topbar-height;
}

.navbar-nav {
  // keep margin and padding the same as for media width > @screen-sm-min
  margin: 0;
  > li > a {
    padding-top: 15px;
    padding-bottom: 15px;
  }
}

.footer {
  position: absolute;
  bottom: 0;
  width: 100%;
  /* Set the fixed height of the footer here */
  height: @bottombar-height;
}

#main-container {
  height: 100%;
  position: relative;
}

#map {
  width: auto;
  height: 100%;
  overflow: hidden;
  background-color: #dfdfdf;
  position: relative;

  &:-moz-full-screen {
    height: 100%;
    width: 100%;
  }
  &:-webkit-full-screen {
    height: 100%;
    width: 100%;
  }
  &:-ms-fullscreen {
    height: 100%;
    width: 100%;
  }
  &:full-screen {
    height: 100%;
    width: 100%;
  }
}

#sidebar {
  display: block;
  width: @leftbar-width;
  height: 100%;
  max-width: 100%;
  float: left;
  .transition(all 300ms ease-out 0s);
  position: relative;
}

#sidebar.open {
  margin-left: 0;
}

@media (min-width: @screen-sm-min) {
  #sidebar {
    margin-left: -(@leftbar-width);
  }
}

@media (max-width: @screen-xs-max) {
  #sidebar {
    margin-left: -100%;
    width: 100%;
  }
}

@media (min-width: @screen-sm-min) {
  body {
    /* padding bottom by footer height */
    padding-bottom: @bottombar-height;
  }
}
@media (max-width: @screen-xs-max) {
  body {
    padding-bottom: 0;
    padding-top: 40px;
    overflow: hidden;
  }
  #sidebar {
    width: 100%;
    position: absolute;
    z-index: 2;
  }
  .footer {
    position: absolute;
    height: 0;
    bottom: 0;
  }
}

.ol-control {
  &, &:hover {
    background-color: transparent;
  }
  button {
    width: 41px;
    height: 41px;
    font-size: 1.5em;
    font-weight: normal;
    text-align: center;
    text-indent: 0;
    border: 1px solid #8394a0;
    font-family: "geoportail-icons" !important;
    margin: -1px;
  }
  &.infobar {
    z-index: 2;
    bottom: 8px;
    right: 8px;
    padding: 0px;
    border: 1px solid #8394a0;
    background-color: white;
    .infobar-content {
        float: left;
        padding-top: 9px;
        padding-right: 10px;
    }
    .infobar-content * {
        display: inline-block;
    }
    .infobar-content .ol-scale-line {
        position: inherit;
        background: rgba(0,0,0,0);
        padding: 0px 5px 0px 5px;
        .ol-scale-line-inner {
            border: 2px solid grey;
            border-top: none;
            color: black;
            font-size: 12px;
            text-align: center;
            margin: 1px;
        }
    }
    .mouse-coordinates {
        width: 255px;
    }
    .infobar-button {
        display: inline-block;
        float: right;
{'fraction_non_alphanumeric': 0.14741244119184527, 'fraction_numerical': 0.04077365394668061, 'mean_word_length': 2.1573157315731573, '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': '6522904', 'n_tokens_mistral': 2338, 'n_tokens_neox': 2106, 'n_words': 504}