diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2024-01-18 16:16:52 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2024-01-18 16:16:52 +0100 |
commit | fecb2dabe6718ffc0faad5484f31cf1b98335fc5 (patch) | |
tree | da8a48d99b2972d144ebdeb256de98b9b361eda3 | |
parent | 8d250c86386d95a907465c29c356e2b5de261f67 (diff) |
Power stations: Improve style.
-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({ |