/* Owner developer tool: hidden release badge in the top-left screen corner.
   Hidden it is an empty, transparent hit area that cannot be selected or
   highlighted; shown it glows in the shared palette red. */
.dev-release-badge {
    position: fixed;
    top: env(safe-area-inset-top, 0px);
    left: env(safe-area-inset-left, 0px);
    z-index: 9999;
    box-sizing: border-box;
    /* 16 px tall in both states: the mobile navigation button starts 16 px
       from the corner, so the badge must never reach it. */
    min-width: 16px;
    height: 16px;
    padding: 1px 4px;
    font: 600 11px/14px ui-monospace, "SFMono-Regular", Consolas, "Liberation Mono", monospace;
    white-space: nowrap;
    color: var(--metric-negative);
    opacity: 0;
    cursor: default;
    user-select: none;
    -webkit-user-select: none;
    -webkit-touch-callout: none;
    -webkit-tap-highlight-color: transparent;
    outline: none;
}

.dev-release-badge.is-visible {
    opacity: 1;
    text-shadow: 0 0 6px currentColor;
}