/* Playground — Try → Tool → Prove */
.pg-hero {
    padding: 2.5rem 0 2rem;
    background:
        radial-gradient(ellipse 55% 45% at 15% 10%, rgba(20, 184, 166, 0.14), transparent 55%),
        radial-gradient(ellipse 50% 40% at 90% 70%, rgba(56, 189, 248, 0.1), transparent 50%);
    border-bottom: 1px solid var(--border-color, rgba(255, 255, 255, 0.08));
}

.pg-kicker {
    font-size: 0.75rem;
    font-weight: 750;
    letter-spacing: 0.08em;
    text-transform: uppercase;
    color: var(--text-muted, #94a3b8);
    margin-bottom: 0.65rem;
}

.pg-hero h1 {
    font-family: 'Outfit', system-ui, sans-serif;
    font-size: clamp(1.75rem, 3.5vw, 2.5rem);
    font-weight: 750;
    letter-spacing: -0.03em;
    max-width: 18ch;
    margin-bottom: 0.85rem;
}

.pg-lead {
    color: var(--text-muted, #94a3b8);
    max-width: 40rem;
    margin-bottom: 1.25rem;
    line-height: 1.65;
}

.pg-hero-actions {
    display: flex;
    flex-wrap: wrap;
    gap: 0.65rem;
    margin-bottom: 1.35rem;
}

.pg-loop {
    list-style: none;
    padding: 0;
    margin: 0;
    display: flex;
    flex-wrap: wrap;
    gap: 0.65rem 1.25rem;
    font-size: 0.88rem;
    color: var(--text-secondary, #cbd5e1);
}

.pg-loop strong {
    color: #2dd4bf;
    margin-right: 0.35rem;
    font-size: 0.75rem;
    text-transform: uppercase;
    letter-spacing: 0.04em;
}

.pg-workspace {
    margin-top: 1.5rem;
    padding: 1.25rem;
    border-radius: 1rem;
    border: 1px solid var(--border-color, rgba(255, 255, 255, 0.1));
    background: var(--bg-card, rgba(255, 255, 255, 0.03));
}

.pg-workspace-head {
    display: flex;
    flex-wrap: wrap;
    justify-content: space-between;
    align-items: flex-end;
    gap: 1rem;
    margin-bottom: 1rem;
}

.pg-lang-tabs {
    display: flex;
    flex-wrap: wrap;
    gap: 0.4rem;
}

.pg-lang-tab {
    display: inline-flex;
    align-items: center;
    gap: 0.4rem;
    padding: 0.45rem 0.8rem;
    border-radius: 0.55rem;
    border: 1px solid var(--border-color, rgba(255, 255, 255, 0.12));
    background: transparent;
    color: var(--text-secondary, #cbd5e1);
    font-size: 0.82rem;
    font-weight: 650;
    cursor: pointer;
}

.pg-lang-tab.is-active {
    border-color: rgba(45, 212, 191, 0.55);
    background: rgba(45, 212, 191, 0.12);
    color: #5eead4;
}

.pg-editor-grid {
    display: grid;
    grid-template-columns: 1.15fr 0.85fr;
    gap: 1rem;
}

@media (max-width: 900px) {
    .pg-editor-grid {
        grid-template-columns: 1fr;
    }
}

.pg-label {
    display: block;
    font-size: 0.72rem;
    font-weight: 700;
    letter-spacing: 0.06em;
    text-transform: uppercase;
    color: var(--text-muted, #94a3b8);
    margin-bottom: 0.4rem;
}

.pg-code,
.pg-stdin,
.pg-output {
    width: 100%;
    font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
    font-size: 0.82rem;
    line-height: 1.5;
    border-radius: 0.65rem;
    border: 1px solid var(--border-color, rgba(255, 255, 255, 0.1));
    background: rgba(0, 0, 0, 0.35);
    color: #e2e8f0;
    padding: 0.85rem;
}

.pg-code:focus,
.pg-stdin:focus {
    outline: 2px solid rgba(45, 212, 191, 0.45);
    outline-offset: 1px;
}

.pg-stdin-row {
    margin-top: 0.75rem;
}

.pg-run-bar {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.65rem;
    margin-top: 0.85rem;
}

.pg-run-status {
    font-size: 0.8rem;
    color: var(--text-muted, #94a3b8);
}

.pg-output-pane {
    display: flex;
    flex-direction: column;
    min-height: 100%;
}

.pg-output-head {
    display: flex;
    justify-content: space-between;
    align-items: center;
    gap: 0.5rem;
    margin-bottom: 0.4rem;
}

.pg-runner-meta {
    font-size: 0.72rem;
    color: var(--text-muted, #64748b);
}

.pg-output {
    flex: 1;
    min-height: 14rem;
    margin: 0;
    white-space: pre-wrap;
    word-break: break-word;
    overflow: auto;
}

.pg-output.is-ok {
    border-color: rgba(52, 211, 153, 0.4);
}

.pg-output.is-error {
    border-color: rgba(248, 113, 113, 0.45);
    color: #fecaca;
}

.pg-prove {
    margin-top: 0.85rem;
    padding: 0.75rem 0.85rem;
    border-radius: 0.65rem;
    border: 1px dashed rgba(45, 212, 191, 0.35);
    background: rgba(45, 212, 191, 0.06);
}

.pg-prove-label {
    font-size: 0.72rem;
    font-weight: 700;
    letter-spacing: 0.05em;
    text-transform: uppercase;
    color: #5eead4;
    margin-bottom: 0.35rem;
}

.pg-prove-links {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.4rem;
    font-size: 0.85rem;
}

.pg-prove-links a {
    color: var(--text-primary, #f1f5f9) !important;
    font-weight: 650;
    text-decoration: underline;
    text-underline-offset: 2px;
}

.pg-tools {
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(220px, 1fr));
    gap: 0.75rem;
}

.pg-tool {
    display: flex;
    flex-direction: column;
    gap: 0.35rem;
    padding: 1rem;
    border-radius: 0.85rem;
    border: 1px solid var(--border-color, rgba(255, 255, 255, 0.1));
    background: var(--bg-card, rgba(255, 255, 255, 0.03));
    text-decoration: none !important;
    color: inherit !important;
    transition: border-color 0.15s ease, transform 0.15s ease;
}

.pg-tool:hover {
    border-color: rgba(45, 212, 191, 0.45);
    transform: translateY(-1px);
}

.pg-tool i {
    color: #2dd4bf;
    font-size: 1.1rem;
}

.pg-tool strong {
    font-size: 0.95rem;
}

.pg-tool span {
    font-size: 0.8rem;
    color: var(--text-muted, #94a3b8);
    line-height: 1.45;
}

.pg-footer-band {
    padding: 1.35rem 1.25rem;
    border-radius: 1rem;
    border: 1px solid var(--border-color, rgba(255, 255, 255, 0.1));
    background:
        linear-gradient(135deg, rgba(20, 184, 166, 0.08), transparent 60%),
        var(--bg-card, rgba(255, 255, 255, 0.03));
}

.pg-crumb {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.4rem;
    font-size: 0.8rem;
    color: var(--text-muted, #94a3b8);
    margin-bottom: 0.75rem;
}

.pg-crumb a {
    color: #5eead4 !important;
    text-decoration: none !important;
}

.pg-lang-switch {
    display: flex;
    flex-wrap: wrap;
    gap: 0.4rem;
    margin-top: 0.35rem;
}

.pg-lang-switch .pg-lang-tab {
    text-decoration: none !important;
}

.pg-seo-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 1rem;
}

@media (max-width: 768px) {
    .pg-seo-grid {
        grid-template-columns: 1fr;
    }
}

.pg-seo-card {
    padding: 1.15rem 1.2rem;
    border-radius: 0.85rem;
    border: 1px solid var(--border-color, rgba(255, 255, 255, 0.1));
    background: var(--bg-card, rgba(255, 255, 255, 0.03));
}

.pg-howto,
.pg-tips {
    margin: 0.75rem 0 0;
    padding-left: 1.15rem;
    color: var(--text-secondary, #cbd5e1);
    line-height: 1.6;
    font-size: 0.9rem;
}

.pg-faq {
    display: flex;
    flex-direction: column;
    gap: 0.55rem;
}

.pg-faq-item {
    border-radius: 0.65rem;
    border: 1px solid var(--border-color, rgba(255, 255, 255, 0.1));
    background: var(--bg-card, rgba(255, 255, 255, 0.03));
    padding: 0.75rem 1rem;
}

.pg-faq-item summary {
    cursor: pointer;
    font-weight: 650;
    list-style: none;
}

.pg-faq-item summary::-webkit-details-marker {
    display: none;
}

.pg-faq-item p {
    margin: 0.55rem 0 0;
    color: var(--text-muted, #94a3b8);
    font-size: 0.9rem;
    line-height: 1.55;
}