Changeset 10177 in josm


Ignore:
Timestamp:
2016-05-10T22:07:46+02:00 (8 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:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/styles/standard/elemstyles.mapcss

    r10120 r10177  
    46564656}
    46574657
     4658node|z-18,area|z-18 { font-size: 8; }
    46584659node|z19,area|z19   { font-size: 9; }
    4659 node|z20-,area|z20-   { font-size: 10; }
     4660node|z20-,area|z20- { font-size: 11; }
    46604661
    46614662/*******************/
Note: See TracChangeset for help on using the changeset viewer.