<commit_before>body,.ui-widget {
    font-family: Verdana,Arial,sans-serif;
}

.center {
    text-align:center;
}
.bold {
    font-weight:bold;
}
.hide {
    display:none;
}



/*jqm override */
.ui-checkbox .ui-btn, .ui-radio .ui-btn {
    text-align:center;
}


/* JQM fix: new data-icon="xxx" icons */

.ui-icon-map {
    background-image: url("images/map.svg");
    background-size:14px 14px;
    background-position:2px 2px;
}


.ui-widget input, .ui-widget select, .ui-widget textarea, .ui-widget button {
    font-family: Verdana,Arial,sans-serif;
}

.above_map {
    z-index:500;
}

.fakelink {
    color:blue;
    text-decoration:underline;
    cursor:pointer;
}

.popup_title {
    font-size:10pt;
    font-weight:bold;
    margin-bottom:0.25em;
}

.popup_line {
    clear:both;
    margin:0;
}

.alert {
    background-color:yellow;
    color:red;
}

td,th {
    vertical-align:top;
}

div.wkt {
    display:none;
}

div.lat_driving {
    display:none;
}

div.lng_driving {
    display:none;
}


/* Leaflet Zoom panel, allow buttons to be disabled */

.leaflet-control-zoom a.disabled {
    display:none;
}

.leaflet-control-zoom a.only {
    margin:0;
}



/*
 * Directions panel
 * a few hacks so the fieldset looks good on varying devices
 * JQM doesn't treat text inputs the same as checkboxes and selects, replacing them with DIVs that are of a consistent and attractive 100% width
 */

#page-directions {
}
@media (min-width:700px) {
#page-directions fieldset input[type="text"] {
    width:98%;
}
}
@media (min-width:1000px) {
#page-directions fieldset input[type="text"] {
    width:98.5%;
}
}
#directions_list {
    margin-top:1em;
}




/* for the Welcome panel and the About This App panel */

.disclaimer {
    font-size:8pt;
}

.disclaimer b {
    font-size:10pt;
}


#map-location-warnings {
    position:absolute;
    top:0;
    right:0.5em;
    z-index:1000;

    text-align:right;
    max-width:75%; /* keep it from running into left-side controls on small displays */

    color:red;
    font-weight:bold;
    font-size:10pt;
}

#page-map > .ui-content {
    padding:0;
}



#page-find-pois ul[data-role="listview"] img.ui-li-icon {
    width:20px;<commit_msg>Map panel: Location warnings: Now in blue, white background, some opacity. Also added width detection so the 75% width is only 50% on wider screens.<commit_after>body,.ui-widget {
    font-family: Verdana,Arial,sans-serif;
}

.center {
    text-align:center;
}
.bold {
    font-weight:bold;
}
.hide {
    display:none;
}



/*jqm override */
.ui-checkbox .ui-btn, .ui-radio .ui-btn {
    text-align:center;
}


/* JQM fix: new data-icon="xxx" icons */

.ui-icon-map {
    background-image: url("images/map.svg");
    background-size:14px 14px;
    background-position:2px 2px;
}


.ui-widget input, .ui-widget select, .ui-widget textarea, .ui-widget button {
    font-family: Verdana,Arial,sans-serif;
}

.above_map {
    z-index:500;
}

.fakelink {
    color:blue;
    text-decoration:underline;
    cursor:pointer;
}

.popup_title {
    font-size:10pt;
    font-weight:bold;
    margin-bottom:0.25em;
}

.popup_line {
    clear:both;
    margin:0;
}

.alert {
    background-color:yellow;
    color:red;
}

td,th {
    vertical-align:top;
}

div.wkt {
    display:none;
}

div.lat_driving {
    display:none;
}

div.lng_driving {
    display:none;
}


/* Leaflet Zoom panel, allow buttons to be disabled */

.leaflet-control-zoom a.disabled {
    display:none;
}

.leaflet-control-zoom a.only {
    margin:0;
}



/*
 * Directions panel
 * a few hacks so the fieldset looks good on varying devices
 * JQM doesn't treat text inputs the same as checkboxes and selects, replacing them with DIVs that are of a consistent and attractive 100% width
 */

#page-directions {
}
@media (min-width:700px) {
#page-directions fieldset input[type="text"] {
    width:98%;
}
}
@media (min-width:1000px) {
#page-directions fieldset input[type="text"] {
    width:98.5%;
}
}
#directions_list {
    margin-top:1em;
}




/* for the Welcome panel and the About This App panel */

.disclaimer {
    font-size:8pt;
}

.disclaimer b {
    font-size:10pt;
}


#map-location-warnings {
    position:absolute;
    top:0;
    right:0.5em;
    z-index:1000;

    text-align:right;
    max-width:75%; /* keep it from running into left-side controls on small displays */

    opacity:0.66;
    color:rgb(60,120,174);
    background-color:white;

    font-size:9pt;
    font-weight:bold;
}
@media (min-width:700px) {
#map-location-warnings {
    max-width:50%;
}
}

#page-map > .ui-content {
    padding:0;
}



#page-find-pois ul[data-role="listview"] img.ui-li-icon {
    width:20px;
{'fraction_non_alphanumeric': 0.14377959535083942, 'fraction_numerical': 0.025182953077916487, 'mean_word_length': 2.985420240137221, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '3044577', 'n_tokens_mistral': 1860, 'n_tokens_neox': 1739, 'n_words': 369}