Styling tweaks for speelplekken theme

This commit is contained in:
Pieter Vander Vennet 2021-04-23 12:59:09 +02:00
parent bc26805d69
commit 20386b7c0b
6 changed files with 97 additions and 53 deletions

View file

@ -157,7 +157,7 @@
"mappings": []
},
"width": {
"render": "4"
"render": "7"
},
"dashArray": {
"render": "",
@ -168,19 +168,15 @@
},
{
"if": "highway=path",
"then": "10 3"
"then": "0 12"
},
{
"if": "highway=footway",
"then": "10 10"
},
{
"if": "highway=pedestrian",
"then": "10 10"
"if": {"or":["highway=footway","highway=pedestrian"]},
"then": "12 18"
},
{
"if": "highway=living_street",
"then": "10 5 3 5"
"then": "12 12 0 12"
}
]
},