html, body {
    display: flex;
    flex-direction: column;
    height: 100vh;
    justify-content: stretch;
    overflow: hidden;
    position: relative;
    width: 100vw;
    }
#dashboard-nav {
    background-color: var(--default-surface);
    border: 0;
    box-shadow: var(--dashboard-bar-shadow);
    display: flex;
    flex-shrink: 0;
    flex-wrap: wrap;
    overflow-x: hidden;
    padding: 0;
    position: sticky;
    top: 0;
    width: 100%;
    z-index: 10;
    }
.tabButton {
    border: 0;
    border-bottom: 3px solid var(--bg-1);
    border-top: 3px solid transparent;
    color: var(--dashboard-tab-ink);
    fill: var(--dashboard-tab-ink);
    padding: 0.5em 1.4em calc(0.5em - 3px);
    text-decoration: none;
    user-select: none;
    white-space: nowrap;
    }
.tabButton:focus {
    outline: 0;
    }
.tabButton.selected {
    border-bottom: 3px solid var(--dashboard-tab-active-ink);
    color: var(--dashboard-tab-active-ink);
    fill: var(--dashboard-tab-active-ink);
    }
iframe {
    background-color: transparent;
    border: 0;
    flex-grow: 1;
    margin: 0;
    padding: 0;
    width: 100%;
    }
#unsavedWarning {
    box-shadow: rgba(128,128,128,0.4) 0 4px 4px;
    display: none;
    left: 0;
    position: absolute;
    width: 100%;
    z-index: 20;
    }
#unsavedWarning.on {
    display: initial;
    }
#unsavedWarning > div:first-of-type {
    background-color: var(--bg-transient-notice);
    padding: 0.5em;
    }
#unsavedWarning > div:last-of-type {
    height: 100vh;
    position: absolute;
    width: 100vw;
    }

body:not(.canUpdateShortcuts) .tabButton[data-pane="shortcuts.html"] {
    display: none;
    }
body .tabButton[data-pane="no-dashboard.html"] {
    display: none;
    }
body.noDashboard #dashboard-nav {
    display: none;
    }

/* high dpi devices */
:root.hidpi .tabButton {
    font-family: Metropolis, sans-serif;
    font-weight: 600;
    letter-spacing: 0.5px;
    }

/* hover-able devices */
:root.desktop .tabButton {
    cursor: default;
    }
:root.desktop .tabButton:not(.selected) {
    cursor: pointer;
    }
:root.desktop .tabButton:not(.selected):hover {
    background-color: var(--dashboard-tab-surface-hover);
    border-bottom-color: var(--dashboard-tab-surface-hover);
    }

/* touch-screen devices */
:root.mobile #dashboard-nav {
    flex-wrap: nowrap;
    overflow-x: auto;
    }
:root.mobile #dashboard-nav .logo {
    display: none;
    }