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

Timestamp:

2016-05-10T22:07:46+02:00 (9 years ago)

Author:

Klumbumbus

Message:

see #12782 - adjust zoom dependend font size: fix z18 when mappaint.fontsize is modified by the user; change font size at z20- from 10 to 11 because 9 and 10 are nearly the same in default noto font

File:

• trunk/styles/standard/elemstyles.mapcss (modified) (1 diff)

trunk/styles/standard/elemstyles.mapcss

@@ -4656 +4656 @@
 }
 
+node|z-18,area|z-18 { font-size: 8; }
 node|z19,area|z19   { font-size: 9; }
-node|z20-,area|z20-   { font-size: 10; }
+node|z20-,area|z20- { font-size: 11; }
 
 /*******************/