<commit_before>body {
    margin: 0;
    padding: 0;
    font-family: Lato, "Helvetica Neue", Helvetica, Arial, sans-serif;
    overflow: hidden;
}

#toolbar .open-button {
    display: block;
}

#toolbar {
    opacity: 0.6;
    position: absolute;
    top: 5em;
    left: 0.6em;
}

#toolbar:hover {
    opacity: 1.0;
}

#map {
    width: 100vw;
    height: 100vh;
}

#messages {
    position: absolute;
    top: 0.6em;
    left: 25em;
    width: 25em;
    height: 13em;
    background-color: white;
}

.error {
    border: 1px solid red;
}

.error-text {
    color: red;
    margin: 0.1em;
}

.close-error {
    position: absolute;
    right: 2.2em;
    top: 0;
}

.info {
    color: green;
    margin: 0.1em;
}

#legend {
    position: absolute;
    font-size: large;
    min-width: 7.6em;
    max-width: 54%;
    padding: 0.1em;
    padding-left: 0.3em;
    bottom: 0;
    left: 0;
}

/*
  We are including the default style files that come with the Geocode plugin, so we shouldn't need to mess with it more.
  However, it looks ugly without this.
  */
.leaflet-control-geocoder-form input {<commit_msg>Put a max-width on the search box to hopefully make it work better with some phones.<commit_after>body {
    margin: 0;
    padding: 0;
    font-family: Lato, "Helvetica Neue", Helvetica, Arial, sans-serif;
    overflow: hidden;
}

#toolbar .open-button {
    display: block;
}

#toolbar {
    opacity: 0.6;
    position: absolute;
    top: 5em;
    left: 0.6em;
}

#toolbar:hover {
    opacity: 1.0;
}

#map {
    width: 100vw;
    height: 100vh;
}

#messages {
    position: absolute;
    top: 0.6em;
    left: 25em;
    width: 25em;
    height: 13em;
    background-color: white;
}

.error {
    border: 1px solid red;
}

.error-text {
    color: red;
    margin: 0.1em;
}

.close-error {
    position: absolute;
    right: 2.2em;
    top: 0;
}

.info {
    color: green;
    margin: 0.1em;
}

#legend {
    position: absolute;
    font-size: large;
    min-width: 7.6em;
    max-width: 54%;
    padding: 0.1em;
    padding-left: 0.3em;
    bottom: 0;
    left: 0;
}

/*
  On phones (or other very small screens, our geocoder goes off the side of the screen.
  Leaflet has a lot of weird relative positioning etc. which means that it's hard to know what this will do.
  Trial and error shows that 30% is a decent value.
 */
.leaflet-control-geocoder {
    max-width: 30%;
}

/*
  We are including the default style files that come with the Geocode plugin, so we shouldn't need to mess with it more.
  However, it looks ugly without this.
  */
.leaflet-control-geocoder-form input {
{'fraction_non_alphanumeric': 0.12162162162162163, 'fraction_numerical': 0.033204633204633204, 'mean_word_length': 2.468540829986613, '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': '2697420', 'n_tokens_mistral': 1033, 'n_tokens_neox': 955, 'n_words': 298}