/* Site-level fixes for the embedded maptools page. Keep this outside tools/maptools. */
#header-box [data-theme-toggle] .tw-hidden {
    display: none !important;
}

html.tw-dark #header-box [data-theme-toggle] .dark\:tw-hidden,
html.dark #header-box [data-theme-toggle] .dark\:tw-hidden {
    display: none !important;
}

html.tw-dark #header-box [data-theme-toggle] .dark\:tw-inline-block,
html.dark #header-box [data-theme-toggle] .dark\:tw-inline-block {
    display: inline-block !important;
}

#header-box [data-dropdown]:hover > .dropdown-panel,
#header-box [data-dropdown]:focus-within > .dropdown-panel,
#header-box .dropdown-panel.is-open {
    display: block !important;
}

#header-box {
    z-index: 900;
}