--- import Button from '@ui/Button.astro' import ButtonList from '@ui/ButtonList.astro' import Icon from '@ui/Icon.astro' import Modal from '../modals/Modal.astro' import CaptureModal from '../CaptureModal.astro' import ReportModalContent from '../modals/ReportModalContent.astro' interface Props { /** dark overlapping navbar: the "New view" button gets color="dark" */ dark?: boolean | undefined } const { dark } = Astro.props ---