From 8a246053235a9adc5bd20ef76bc2bbf2c35b21c7 Mon Sep 17 00:00:00 2001 From: Claude Dev Date: Tue, 24 Mar 2026 23:46:42 +0100 Subject: [PATCH] Schiffstyp-Filter: Gleiche Groesse wie Hauptmenue Checkboxen 16x16px, Dots 10px, Labels 13px, mehr Padding. Identisch zum uebergeordneten Layer-Panel. --- static/js/layers/ships.js | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/static/js/layers/ships.js b/static/js/layers/ships.js index 5fba9d7..d21ea6c 100644 --- a/static/js/layers/ships.js +++ b/static/js/layers/ships.js @@ -55,14 +55,14 @@ const ShipsLayer = { { id: 'other', label: 'Sonstige', color: '#888888' }, ]; var self = this; - var html = '
SCHIFFSTYPEN
'; + var html = '
SCHIFFSTYPEN
'; cats.forEach(function(c) { - html += ''; + html += ''; }); - html += ''; + html += ''; el.innerHTML = html; el.style.display = 'block'; },