/* Même allure que la fenêtre des variations : carte translucide sur un
           fond simplement assombri. Pas de voile blanc ni de flou lourd — la
           page doit rester visible derrière, c'est ce qui rassure. */
        .jspause{
            position:fixed;inset:0;z-index:99999;
            display:none;align-items:center;justify-content:center;padding:20px;
        }
        .jspause.on{display:flex;}
        .jspause-fond{position:absolute;inset:0;background:rgba(0,0,0,0.72);}
        .jspause-box{
            position:relative;
            background:var(--joy-carte, rgba(255,255,255,0.06));
            border:1px solid var(--joy-bordure, rgba(255,255,255,0.15));
            backdrop-filter:blur(18px);-webkit-backdrop-filter:blur(18px);
            border-radius:16px;
            padding:24px 22px calc(20px + env(safe-area-inset-bottom, 10px));
            max-width:420px;width:100%;max-height:82vh;overflow-y:auto;
            box-shadow:0 20px 60px rgba(0,0,0,.5);overscroll-behavior:contain;}
        .jspause-p{margin:0 0 12px;font-size:15px;line-height:1.6;color:#EDE7E7;}
        .jspause-p:last-of-type{margin-bottom:4px;}
        /* Boutons à leur juste taille : un « OK » n'a pas besoin de toute la
           largeur. Alignés à droite, comme partout ailleurs. */
        .jspause-actions{display:flex;gap:10px;margin-top:18px;justify-content:flex-end;}
        .jspause-ok,.jspause-no{
            padding:11px 26px;border-radius:10px;cursor:pointer;
            font-family:inherit;font-size:15px;font-weight:700;
            min-width:104px;
            /* Transparents, comme les cartes. Une couleur pleine attire l'œil
               sur la fenêtre plutôt que sur ce qu'elle dit. */
            background:rgba(255,255,255,.10);
            color:#EDE7E7;
            border:1px solid rgba(255,255,255,.28);
            transition:background .12s, transform .08s;
        }
        /* Le survol éclaircit, il ne fait pas disparaître : le bouton doit
           rester visible sous le doigt comme sous la souris. */
        .jspause-ok:hover:not(:disabled),
        .jspause-no:hover{background:rgba(255,255,255,.20) !important;}
        /* Enfoncement : le seul retour dont on dispose au toucher, où le
           survol n'existe pas. */
        .jspause-ok:active:not(:disabled),
        .jspause-no:active{transform:scale(.97);background:rgba(255,255,255,.26) !important;}
        .jspause-ok:disabled{opacity:.45;cursor:default;}
        .jspause-ok:focus-visible,
        .jspause-no:focus-visible{outline:2px solid #fff;outline-offset:2px;}

        /* 3.0 — le thème ne repeint pas les boutons de la fenêtre (mêmes valeurs que plus haut). */
        #jspause .jspause-ok, #jspause .jspause-no { background: rgba(255,255,255,.10); color: #EDE7E7; border: 1px solid rgba(255,255,255,.28); padding: 11px 26px; border-radius: 10px; }