/* Dev tools launcher (dev-only). Fixed right-edge vertical button. */

.devtools-launcher {
    position: fixed;
    top: 35vh;
    right: 0;
    z-index: 10000;
}

.devtools-launcher__btn {
    border-radius: 8px 0 0 8px;
    min-width: 36px;
    padding: 10px 6px;
    writing-mode: vertical-rl;
    text-orientation: mixed;
    letter-spacing: 0.08em;
}