Changes between Version 4 and Version 5 of Styles/HiDPISupport


Ignore:
Timestamp:
2016-03-19T17:54:42+01:00 (10 years ago)
Author:
Klumbumbus
Comment:

more code simplification

Legend:

Unmodified
Added
Removed
Modified
  • Styles/HiDPISupport

    v4 v5  
    5050}
    5151
    52 node["openGeoDB:type"=Stadt],
    53 node["openGeoDB:type"=Kreis],
    54 node["openGeoDB:type"=Gemeinde],
    55 node["openGeoDB:type"=Ort],
    56 node["openGeoDB:type"=District],
    57 node["openGeoDB:location"=locality] {
    58     font-size: 10 + prop("font-size-summand");
    59 }
    6052
    61 node[place=continent],
    62 node[place=country],
    63 node[place=state],
    64 node[place=region],
    65 node[place=county],
    66 node[place=city],
    67 node[place=town],
    68 node[place=suburb],
    69 node[place=village],
    70 node[place=neighbourhood],
    71 node[place=hamlet],
    72 node[place=isolated_dwelling],
    73 node[place=farm],
    74 node[place=island],
    75 node[place=islet] {
    76     font-size: 10 + prop("font-size-summand");
    77 }
    78 
    79 node|z15-[place=locality],
    80 node|z-14[place=locality][!setting("hide_icons")] {
     53node["openGeoDB:type"],
     54node[place] {
    8155    font-size: 10 + prop("font-size-summand");
    8256}