<commit_before><!DOCTYPE html>
<html style="height: 100%;">

<head>
    <title>Quick Start - Leaflet</title>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <link rel="stylesheet" href="inc/leaflet.css" />
    <script src="inc/leaflet.js"></script>
    <script src="inc/wkx.min.js"></script>

    <style>
        .leaflet-touch .leaflet-control-layers-toggle {
            background-image: url(inc/layers.png);
            width: 30px;
            height: 30px;
	    }
    </style>
</head>

<body style="height: 100%; margin: 0;">

    <div id="gisMap" style="width: 100%; height: 100%;"></div>
    <script>
        var sourceValues = [ ${geomValues} ];
        var sourceTips = [ ${geomTipValues} ];
        var geomSRID = ${geomSRID};

        var wkx = require('wkx');
        var geoMap = L.map('gisMap', {
		    crs: L.CRS.${geomCRS}
	    });

        if (${showMap}) {
            let baseLayersObj = {
                'Street': L.tileLayer(${defaultTiles}),
                'Topography': L.tileLayer('https://{s}.tile.opentopomap.org/{z}/{x}/{y}.png',
                  {<commit_msg>Fix for webview renderer on Windows if system defaults to old IE browser<commit_after><!DOCTYPE html>
<html style="height: 100%;">

<head>
    <title>Quick Start - Leaflet</title>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
    <meta http-equiv="X-UA-Compatible" content="IE=edge" />
    <link rel="stylesheet" href="inc/leaflet.css" />
    <script src="inc/leaflet.js"></script>
    <script src="inc/wkx.min.js"></script>

    <style>
        .leaflet-touch .leaflet-control-layers-toggle {
            background-image: url(inc/layers.png);
            width: 30px;
            height: 30px;
	    }
    </style>
</head>

<body style="height: 100%; margin: 0;">

    <div id="gisMap" style="width: 100%; height: 100%;"></div>
    <script>
        var sourceValues = [ ${geomValues} ];
        var sourceTips = [ ${geomTipValues} ];
        var geomSRID = ${geomSRID};

        var wkx = require('wkx');
        var geoMap = L.map('gisMap', {
		    crs: L.CRS.${geomCRS}
	    });

        if (${showMap}) {
            let baseLayersObj = {
                'Street': L.tileLayer(${defaultTiles}),
                'Topography': L.tileLayer('https://{s}.tile.opentopomap.org/{z}/{x}/{y}.png',
                  {
{'fraction_non_alphanumeric': 0.18489475856376392, 'fraction_numerical': 0.01650846058605035, 'mean_word_length': 2.3526970954356847, 'pattern_counts': {'":': 0, '<': 42, '<?xml version=': 0, '>': 42, 'https://': 2, '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': '7248652', 'n_tokens_mistral': 896, 'n_tokens_neox': 813, 'n_words': 155}