diff options
Diffstat (limited to 'main.js')
-rw-r--r-- | main.js | 21 |
1 files changed, 2 insertions, 19 deletions
@@ -468,7 +468,7 @@ const styles = { }); })), 'svk_stations': - [5, 6, 8, 8, 10].map(function(radius) { + [5, 6, 8, 8, 10, 12, 12].map(function(radius) { return new Style({ zIndex: 0, image: new RegularShape({ @@ -481,24 +481,7 @@ const styles = { }), }); }) - .concat([12, 15].map(function(radius) { - return new Style({ - zIndex: 0, - image: new RegularShape({ - radius: radius, - points: 4, - angle: Math.PI/4, - fill: new Fill({ - color: 'rgba(128, 128, 128, .85)', - }), - stroke: new Stroke({ - width: 1, - color: 'rgb(0, 0, 0)', - }), - }), - }); - })) - .concat([1, 1.5, 1.5, 2, 2].map(function(width) { + .concat([.5, 1, 1.5, 2, 2].map(function(width) { return new Style({ zIndex: 0, fill: new Fill({ |