Changeset 10351 in josm for trunk/styles/standard/elemstyles.mapcss

Timestamp:

2016-06-11T19:09:05+02:00 (8 years ago)

Author:

Klumbumbus

Message:

remove old unmaintained tagging schema "openGeoDB:..." from mappaint style; don't shrink place labels font size (except locality)

File:

• trunk/styles/standard/elemstyles.mapcss (modified) (6 diffs)

trunk/styles/standard/elemstyles.mapcss

@@ -4437 +4437 @@
 /**************/
 
-/* lot's of "openGeoDB:..." tags can be found in germany */
-node["openGeoDB:type"=Stadt],
-node["openGeoDB:type"=Kreis],
-node["openGeoDB:type"=Gemeinde],
-node["openGeoDB:type"=Ort],
-node["openGeoDB:type"=District],
-node["openGeoDB:location"=locality] {
-    icon-image: "place/settlement/openGeoDB.png";
-    set icon_z0;
-    set text_z0;
-    font-size: 10;
-    font-weight: bold;
-    text-color:black;
-    text-halo-color: white;
-    text-halo-radius: 1;
-}
 area[setting("place_fill_colour")][place=continent],
 area[setting("place_fill_colour")][place=country],
@@ -4470 +4454 @@
 area[setting("place_fill_colour")][place=islet] {
     fill-color: place#8de3cb;
+    set place;
 }
 node[place=continent],
@@ -4488 +4473 @@
     set icon_z0;
     set text_z0;
-    font-size: 10;
     font-weight: bold;
     text-color:black;
     text-halo-color: white;
     text-halo-radius: 1;
+    set place;
 }
 
@@ -4538 +4523 @@
 node|z-14[place=locality][!setting("hide_icons")] {
     icon-image: "place/locality.png";
-    font-size: 10;
     font-weight: bold;
     text-color:black;
@@ -4596 +4580 @@
   |z18-         text for normal POI icons is shown
   
- * text size and node size is adapted according to zoom level (see style source below)
+ * text size and node size is adapted according to zoom level (see style source below), place labels (except locality) don't get smaller
  * maxspeed icons should not be distinguishable from POIs with "icon-image" property
 
@@ -4659 +4643 @@
 node|z19,area|z19   { font-size: 9; }
 node|z20-,area|z20- { font-size: 11; }
+
+node.place, way.place, area.place { font-size: 11; }
+
 
 /*******************/