{{-- Map container --}}
<div id="map"></div>

{{-- Pass data to JavaScript --}}
@push('scripts')
    <script>
        window.buildings = @json($buildings);
        window.thisBuilding = @json($thisBuilding ?? null);
    </script>
@endpush