Continued refactoring of the maps library.

lib/pixi/maps/geographics.html

@@ -5,7 +5,10 @@
     <meta charset='UTF-8'>
     <title>GeoGraphics</title>
 
-    <link rel='stylesheet' href='../../3rdparty/highlight/styles/default.css'>
+    <script src="../../3rdparty/highlight/highlight.pack.js"></script>
+
+    <link rel="stylesheet" href="../../../fonts/material-icon-font/material-icons.css">
+    <link rel='stylesheet' href='../../3rdparty/highlight/styles/vs2015.css'>
     <link rel='stylesheet' href='../../../css/doctest.css'>
 
     <script src="../../../dist/iwmlib.3rdparty.js"></script>
@@ -67,11 +70,11 @@
                 wikimedia
             ], (sprites) => {
 
-                let osmMap = new ImageMap(sprites.get(osmworld), new MapData(new Projection.Mercator()), { cover: false })
+                let osmMap = new ImageMap(sprites.get(osmworld), new MapData(new Projection.Mercator()), { cover: true })
 
                 let wikimediaMap = new ImageMap(sprites.get(wikimedia), new MapData(new Projection.Robinson(10)), {
                     baseZoomHeight: sprites.get(osmworld).texture.height,
-                    cover: false
+                    cover: true
                 })
 
                 app.addMaps({
@@ -89,7 +92,6 @@
     function enableSwitch(button, app) {
         button.addEventListener("click", () => {
             let next = app.mapList.next()
-            console.log(app.mapList)
             app.selectMap(next)
         })
     }