/* Marina Restaurant page — extends service-pages.css */
body[data-nav-theme="marina"] .kicker { color: #0d6b95; }
body[data-nav-theme="marina"] .gold-line { background: #0d6b95; }
body[data-nav-theme="marina"] .badge-available { background: rgba(13,107,149,.1); color: #0d6b95; border-color: rgba(13,107,149,.2); }
body[data-nav-theme="marina"] .badge-available .badge-dot { background: #0d6b95; }
body[data-nav-theme="marina"] .price-row .amount { color: #0d6b95; }
body[data-nav-theme="marina"] .activity-card:hover { border-color: #0d6b95; box-shadow: 0 6px 24px rgba(13,107,149,.12); }