/* ===== 軍營區域共用樣式（/assets/js/military.js；OPS 軍營區域圖層與 /military/ 共用）=====
 * popup 只有營區名稱（站長 2026-10-31 定案）。色值全走 tokens.css。
 * popup 底是 Leaflet 預設白底，所以分隔線用 --zone-military，不用深底專用的 --hairline。 */

.ds-mil-pop { line-height: 1.55; }
.ds-mil-name { display: flex; align-items: baseline; gap: 6px; font-weight: 700; }
.ds-mil-name + .ds-mil-name { margin-top: 4px; }
.ds-mil-name .bx { color: var(--zone-military); flex-shrink: 0; }

/* OPS：空域 popup 底下附上同一點的營區名稱 */
.ds-mil-sec { margin-top: 8px; padding-top: 8px; border-top: 1px dashed var(--zone-military); }