<commit_before><!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <meta name="description" content="Vollbildkarte mit Koordinatenbestimmung, Wegpunktprojektion, Abstandsberechnung und Anzeige von Naturschutzgebieten">
    <meta http-equiv="content-language" content="de">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta name="expires" content="604800"> <!-- force reload after 1 week -->
    <title>Flopps Tolle Karte: Wegpunktprojektion, Koordinaten, Abstand</title>
    <link rel="author" href="https://plus.google.com/100782631618812527586" />
    <link rel="icon" href="img/favicon.png" type="image/png" />
    <link rel="shortcut icon" href="img/favicon.png" type="image/png" />
    <link rel="image_src" href="img/screenshot.png" />
    
    <script type="text/javascript" src="https://maps.google.com/maps/api/js?key=AIzaSyC_KjqwiB6tKCcrq2aa8B3z-c7wNN8CTA0&sensor=false"></script>
    <script type="text/javascript" src="js/cookies.js"></script>
    <script type="text/javascript" src="js/geographiclib.js"></script>
    <script type="text/javascript" src="js/coordinates.js"></script>
    <script type="text/javascript" src="js/map.js"></script>
    <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.8.0/jquery.min.js"></script>
    <script type="text/javascript" src="ext/bootstrap/js/bootstrap.min.js"></script>
    <link href="ext/bootstrap/css/bootstrap.min.css" rel="stylesheet">
    <link type="text/css" rel="stylesheet" href="ext/jquery-dropdown/jquery.dropdown.css" />`
    <script type="text/javascript" src="ext/jquery-dropdown/jquery.dropdown.js"></script>`
    <link rel="stylesheet" href="ext/font-awesome/css/font-awesome.min.css"> 

<!-- Google Analytics -->
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-27729857-4']);
_gaq.push(['_trackPageview']);
(function() {
    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>

<!-- Flattr -->
<script type="text/javascript">
(function() {
    var s = document.createElement('script'), t = document.getElementsByTagName('script')[0];
    s.type = 'text/javascript';
    s.async = true;
    s.src = 'http://api.flattr.com/js/0.6/load.js?mode=auto';
    t.parentNode.insertBefore(s, t);
})();
</script>

<style type="text/css">
    html, body { height: 100%; overflow: hidden}
    #map-wrapper { position: absolute; left: 0; right:274px; top: 40px; bottom: 0; float: left; }
    #themap { width: 100%; height: 100%;}
    #themap img { max-width: none; }
    #sidebar { overflow: auto; position: absolute; padding: 4px; width: 264px; right: 0; top: 40px; bottom: 0px; float: right; }
    #sidebartoggle { position: absolute; display: block; right: 274px; width: 20px; height: 60px; top: 50%; background-color: white; 
    webkit-border-radius: 8px 0 0 8px;
     -moz-border-radius: 8px 0 0 8px;
          border-radius: 8px 0 0 8px;
    }
    #sidebartogglebutton { position: absolute; display: block; width: 14px; height: 14px; top: 50%; left: 50%; margin-left: -5px; margin-top: -10px; }
    
.my-section {
  position: relative;
  margin: 4px 0;
  padding: 39px 6px 6px;
  *padding-top: 19px;
  background-color: #fff;
  border: 1px solid #ddd;
  -webkit-border-radius: 4px;
     -moz-border-radius: 4px;
          border-radius: 4px;
}

.my-section-header {
  position: absolute;
  top: -1px;
  left: -1px;
  padding: 3px 7px;
  font-size: 16px;
  font-weight: bold;
  background-color: #f5f5f5;
  border: 1px solid #ddd;
  color: #444;
  -webkit-border-radius: 4px 0 4px 0;
     -moz-border-radius: 4px 0 4px 0;
          border-radius: 4px 0 4px 0;
}
</style>

</head>
  
<?php
$clat = "null";
$clon = "null";
$zoom = "null";
$maptype = "null";
$markers = "";
function my_parse_float( $s, &$f, &$ok, $min, $max )
{
    if( is_numeric( $s ) )
    {
        $f = floatval($s);
        $ok = ( $min <= $f && $f <= $max );
    }
    else
    {
        $ok = false;
    }
    
    if( !$ok ) $f = NULL;
}

function my_parse_int( $s, &$f, &$ok, $min, $max )
{
    $f = intval( $s );
    if (strval($f) == $s) 
    { 
        $ok = ( $min <= $f && $f <= $max );
    }
    else
    {
        $ok = false;
    }
    
    if( !$ok ) $f = NULL;
}

if(!empty($_GET)) 
{
    // center: c=LAT:LON
    if(isset($_GET['c']))
    {
        $coord = explode(':', $_GET['c']);
        
        $v = ( count($coord) == 2 );
        if( $v ) my_parse_float( $coord[0], $clat, $v, -90, +90 );
        if( $v ) my_parse_float( $coord[1], $clon, $v, -180, +180 );
        
        if( !$v )
        {
            $clat = "null";
            $clon = "null";
        }
    }
    if(isset($_GET['z']))
    {
        $v = false;
        my_parse_int( $_GET['z'], $zoom, $v, 1, 18 );
        if( !$v )
        {
            $zoom = "null";
        }
    }
    if(isset($_GET['t']))
    {
        $maptype = $_GET['t'];
        if( $maptype != 'OSM' && $maptype != 'OSM/DE' && $maptype != 'roadmap' && $maptype != 'satellite' && $maptype != 'terrain' && $maptype != 'hybrid' )
        {
            $maptype = "OSM";
        }
    }    
    if(isset($_GET['m']))
    {
        $markers = $_GET['m'];
    }
}

echo "<body onload=\"initialize( $clat, $clon, $zoom, '$maptype', '$markers' )\">";
?>


<!-- the menu -->
<div class="navbar navbar-inverse navbar-fixed-top">
    <div class="navbar-inner">
        <div class="container-fluid">
            <ul class="nav">
                <li><a role="button" class="brand" href="javascript:">Flopps Tolle Karte</a></li>
                <li><a role="button" href="http://blog.flopp-caching.de/" rel="tooltip" title="Hier geht es zu 'Flopps Tolles Blog'">Blog <i class="icon-star icon-white"></i></a></li>
                <li><a role="button" href="#hilfeDialog" data-toggle="modal" rel="tooltip" title="Anleitung für die Karte">Hilfe <i class="icon-question-sign icon-white"></i></a></li>
                <li><a role="button" href="#kontaktDialog" data-toggle="modal" rel="tooltip" title="Rechtliche Hinweise, Kontaktinformationen, usw.">Info/Impressum <i class="icon-info-sign icon-white"></i></a></li>
            </ul>
        </div>
    </div>
</div>

<script type="text/javascript">
    jQuery(document).ready(function() {
        $("#sidebartoggle").click(
        function() {
            if( $('#sidebar').is(':visible') )
            {
                $('#sidebar').hide();
                $('#sidebartoggle').css( "right", "0px" );
                $('#sidebartogglebutton').html( "<i class=\"icon-chevron-left\"></i>" );
                $('#map-wrapper').css("right", "0px");
                google.maps.event.trigger(map, "resize");<commit_msg>Responsive Design: Kompaktere Menubar für kleinere Displays (bis 600px)<commit_after><!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <meta name="description" content="Vollbildkarte mit Koordinatenbestimmung, Wegpunktprojektion, Abstandsberechnung und Anzeige von Naturschutzgebieten">
    <meta http-equiv="content-language" content="de">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta name="expires" content="604800"> <!-- force reload after 1 week -->
    <title>Flopps Tolle Karte: Wegpunktprojektion, Koordinaten, Abstand</title>
    <link rel="author" href="https://plus.google.com/100782631618812527586" />
    <link rel="icon" href="img/favicon.png" type="image/png" />
    <link rel="shortcut icon" href="img/favicon.png" type="image/png" />
    <link rel="image_src" href="img/screenshot.png" />
    
    <!-- google maps -->
    <script type="text/javascript" src="https://maps.google.com/maps/api/js?key=AIzaSyC_KjqwiB6tKCcrq2aa8B3z-c7wNN8CTA0&sensor=false"></script>
    <!-- my own stuff -->
    <script type="text/javascript" src="js/cookies.js"></script>
    <script type="text/javascript" src="js/geographiclib.js"></script>
    <script type="text/javascript" src="js/coordinates.js"></script>
    <script type="text/javascript" src="js/map.js"></script>
    <!-- jquery -->
    <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.8.0/jquery.min.js"></script>
    <link type="text/css" rel="stylesheet" href="ext/jquery-dropdown/jquery.dropdown.css" />`
    <script type="text/javascript" src="ext/jquery-dropdown/jquery.dropdown.js"></script>`
    <!-- bootstrap -->
    <script type="text/javascript" src="ext/bootstrap/js/bootstrap.min.js"></script>
    <link href="ext/bootstrap/css/bootstrap.min.css" rel="stylesheet">
    <!-- additional button icons -->
    <link rel="stylesheet" href="ext/font-awesome/css/font-awesome.min.css"> 

<!-- Google Analytics -->
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-27729857-4']);
_gaq.push(['_trackPageview']);
(function() {
    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>

<!-- Flattr -->
<script type="text/javascript">
(function() {
    var s = document.createElement('script'), t = document.getElementsByTagName('script')[0];
    s.type = 'text/javascript';
    s.async = true;
    s.src = 'http://api.flattr.com/js/0.6/load.js?mode=auto';
    t.parentNode.insertBefore(s, t);
})();
</script>

<style type="text/css">
    html, body { height: 100%; overflow: hidden}
    #map-wrapper { position: absolute; left: 0; right:274px; top: 40px; bottom: 0; float: left; }
    #themap { width: 100%; height: 100%;}
    #themap img { max-width: none; }
    #sidebar { overflow: auto; position: absolute; padding: 4px; width: 264px; right: 0; top: 40px; bottom: 0px; float: right; }
    #sidebartoggle { position: absolute; display: block; right: 274px; width: 20px; height: 60px; top: 50%; background-color: white; 
    webkit-border-radius: 8px 0 0 8px;
     -moz-border-radius: 8px 0 0 8px;
          border-radius: 8px 0 0 8px;
    }
    #sidebartogglebutton { position: absolute; display: block; width: 14px; height: 14px; top: 50%; left: 50%; margin-left: -5px; margin-top: -10px; }
    
    @media(max-width:599px){.only-small{display:inherit!important}.only-large{display:none!important}}
    @media(min-width:600px){.only-small{display:none!important}.only-large{display:inherit!important}}
    
.my-section {
  position: relative;
  margin: 4px 0;
  padding: 39px 6px 6px;
  *padding-top: 19px;
  background-color: #fff;
  border: 1px solid #ddd;
  -webkit-border-radius: 4px;
     -moz-border-radius: 4px;
          border-radius: 4px;
}

.my-section-header {
  position: absolute;
  top: -1px;
  left: -1px;
  padding: 3px 7px;
  font-size: 16px;
  font-weight: bold;
  background-color: #f5f5f5;
  border: 1px solid #ddd;
  color: #444;
  -webkit-border-radius: 4px 0 4px 0;
     -moz-border-radius: 4px 0 4px 0;
          border-radius: 4px 0 4px 0;
}
</style>

</head>
  
<?php
$clat = "null";
$clon = "null";
$zoom = "null";
$maptype = "null";
$markers = "";
function my_parse_float( $s, &$f, &$ok, $min, $max )
{
    if( is_numeric( $s ) )
    {
        $f = floatval($s);
        $ok = ( $min <= $f && $f <= $max );
    }
    else
    {
        $ok = false;
    }
    
    if( !$ok ) $f = NULL;
}

function my_parse_int( $s, &$f, &$ok, $min, $max )
{
    $f = intval( $s );
    if (strval($f) == $s) 
    { 
        $ok = ( $min <= $f && $f <= $max );
    }
    else
    {
        $ok = false;
    }
    
    if( !$ok ) $f = NULL;
}

if(!empty($_GET)) 
{
    // center: c=LAT:LON
    if(isset($_GET['c']))
    {
        $coord = explode(':', $_GET['c']);
        
        $v = ( count($coord) == 2 );
        if( $v ) my_parse_float( $coord[0], $clat, $v, -90, +90 );
        if( $v ) my_parse_float( $coord[1], $clon, $v, -180, +180 );
        
        if( !$v )
        {
            $clat = "null";
            $clon = "null";
        }
    }
    if(isset($_GET['z']))
    {
        $v = false;
        my_parse_int( $_GET['z'], $zoom, $v, 1, 18 );
        if( !$v )
        {
            $zoom = "null";
        }
    }
    if(isset($_GET['t']))
    {
        $maptype = $_GET['t'];
        if( $maptype != 'OSM' && $maptype != 'OSM/DE' && $maptype != 'roadmap' && $maptype != 'satellite' && $maptype != 'terrain' && $maptype != 'hybrid' )
        {
            $maptype = "OSM";
        }
    }    
    if(isset($_GET['m']))
    {
        $markers = $_GET['m'];
    }
}

echo "<body onload=\"initialize( $clat, $clon, $zoom, '$maptype', '$markers' )\">";
?>


<!-- the menu -->
<div class="navbar navbar-inverse navbar-fixed-top">
    <div class="navbar-inner">
        <div class="container-fluid">
            <ul class="nav">
                <li class="hidden-phone"><a role="button" class="brand" href="javascript:"><span class="only-large">Flopps Tolle Karte</span><span class="only-small">FTK</span></a></li>
                <li><a role="button" href="http://blog.flopp-caching.de/" rel="tooltip" title="Hier geht es zu 'Flopps Tolles Blog'"><span class="only-large">Blog <i class="icon-star icon-white"></i></span><span class="only-small">Blog</span></a></li>
                <li><a role="button" href="#hilfeDialog" data-toggle="modal" rel="tooltip" title="Anleitung für die Karte"><span class="only-large">Hilfe <i class="icon-question-sign icon-white"></i></span><span class="only-small">Hilfe</span></a></li>
                <li><a role="button" href="#kontaktDialog" data-toggle="modal" rel="tooltip" title="Rechtliche Hinweise, Kontaktinformationen, usw."><span class="only-large">Info/Impressum <i class="icon-info-sign icon-white"></i></span><span class="only-small">Info/Impressum</span></a></li>
            </ul>
        </div>
    </div>
</div>

<script type="text/javascript">
    jQuery(document).ready(function() {
        $("#sidebartoggle").click(
        function() {
            if( $('#sidebar').is(':visible') )
            {
                $('#sidebar').hide();
                $('#sidebartoggle').css( "right", "0px" );
                $('#sidebartogglebutton').html( "<i class=\"icon-chevron-left\"></i>" );
                $('#map-wrapper').css("right", "0px");
                google.maps.event.trigger(map, "resize");
{'fraction_non_alphanumeric': 0.2029154919892732, 'fraction_numerical': 0.0233101835934814, 'mean_word_length': 2.9532481652622997, 'pattern_counts': {'":': 0, '<': 190, '<?xml version=': 0, '>': 182, 'https://': 6, 'lorem ipsum': 0, 'www.': 2, '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': '4752072', 'n_tokens_mistral': 5471, 'n_tokens_neox': 5169, 'n_words': 1032}