Changes between Version 4 and Version 5 of Styles/HiDPISupport
- Timestamp:
- 2016-03-19T17:54:42+01:00 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Styles/HiDPISupport
v4 v5 50 50 } 51 51 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 }60 52 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")] { 53 node["openGeoDB:type"], 54 node[place] { 81 55 font-size: 10 + prop("font-size-summand"); 82 56 }
