//= require jquery.timers
//= require jquery.cookie
//= require augment
-//= require openlayers
+//= require leaflet
+//= require leaflet.osm
+//= require leaflet.locationfilter
+//= require leaflet.pan
+//= require leaflet.zoom
//= require i18n/translations
//= require osm
//= require piwik
//= require sidebar
//= require richtext
//= require resize
-//= require notes
function zoomPrecision(zoom) {
var decimals = Math.pow(10, Math.floor(zoom/3));