.page_main__tWWeB{min-height:calc(100vh - 70px);padding:var(--spacing-xl) 0;background-color:var(--bg-primary)}.page_subtitle__iDNcA{color:var(--text-secondary);margin-bottom:var(--spacing-xl);font-size:1.125rem}.page_section__hxrv4{margin-bottom:var(--spacing-2xl)}.page_proverInput___Vu1u{display:flex;gap:var(--spacing-md);align-items:center;margin-bottom:var(--spacing-md)}.page_input__Lk_SU{flex:1 1;padding:var(--spacing-md);background-color:var(--bg-tertiary);border:1px solid var(--border-color);border-radius:var(--radius-md);color:var(--text-primary);font-size:1rem;font-family:Courier New,monospace;transition:border-color var(--transition-normal)}.page_input__Lk_SU:focus{outline:none;border-color:var(--accent-primary)}.page_button__xyp_d{padding:var(--spacing-md) var(--spacing-lg);background-color:var(--accent-primary);border:none;border-radius:var(--radius-md);color:white;font-weight:600;cursor:pointer;transition:all var(--transition-normal);white-space:nowrap}.page_button__xyp_d:hover{background-color:var(--accent-hover);transform:translateY(-1px)}.page_hint__C7tPx{color:var(--text-tertiary);font-size:.875rem;margin:0}.page_proverHeader__3sQnN{display:flex;justify-content:space-between;align-items:center;padding:var(--spacing-lg);background-color:var(--bg-secondary);border:1px solid var(--border-color);border-radius:var(--radius-md);margin-bottom:var(--spacing-xl)}.page_proverLabel__2BrrE{color:var(--text-secondary);font-size:.875rem;margin-right:var(--spacing-sm)}.page_proverId__rUViR{font-size:1.125rem;color:var(--accent-primary);background-color:var(--bg-tertiary);padding:4px 10px;border-radius:var(--radius-sm)}.page_changeButton__KuKnN{padding:var(--spacing-sm) var(--spacing-md);background-color:var(--bg-tertiary);border:1px solid var(--border-color);border-radius:var(--radius-sm);color:var(--text-secondary);font-size:.875rem;font-weight:500;cursor:pointer;transition:all var(--transition-fast)}.page_changeButton__KuKnN:hover{background-color:var(--bg-secondary);color:var(--text-primary);border-color:var(--border-hover)}.page_metricsGrid__CzMZx{display:grid;grid-template-columns:repeat(auto-fit,minmax(250px,1fr));grid-gap:var(--spacing-lg);gap:var(--spacing-lg);margin-bottom:var(--spacing-lg)}.page_filterSelect__uhgGh{padding:var(--spacing-sm) var(--spacing-md);background-color:var(--bg-tertiary);border:1px solid var(--border-color);border-radius:var(--radius-sm);color:var(--text-primary);font-size:.875rem;font-weight:500;cursor:pointer;transition:all var(--transition-fast)}.page_filterSelect__uhgGh:hover{border-color:var(--border-hover)}.page_filterSelect__uhgGh:focus{outline:none;border-color:var(--accent-primary)}.page_howTo__0Obxo h4{margin-top:var(--spacing-lg);margin-bottom:var(--spacing-sm);color:var(--text-primary)}.page_howTo__0Obxo h4:first-child{margin-top:0}.page_howTo__0Obxo p,.page_howTo__0Obxo pre{margin-bottom:var(--spacing-md)}.page_howTo__0Obxo pre{background-color:var(--bg-primary);padding:var(--spacing-md);border-radius:var(--radius-sm);overflow-x:auto}.page_howTo__0Obxo code{font-size:.875rem;color:var(--accent-hover)}.page_howTo__0Obxo ul{list-style-position:inside;color:var(--text-secondary);margin-bottom:var(--spacing-md)}.page_howTo__0Obxo li{margin-bottom:var(--spacing-sm)}.page_howTo__0Obxo a{color:var(--accent-primary);text-decoration:underline}.page_howTo__0Obxo a:hover{color:var(--accent-hover)}@media (max-width:768px){.page_proverInput___Vu1u{flex-direction:column}.page_button__xyp_d,.page_input__Lk_SU{width:100%}.page_proverHeader__3sQnN{flex-direction:column;gap:var(--spacing-md);align-items:flex-start}.page_changeButton__KuKnN{align-self:stretch;text-align:center}.page_metricsGrid__CzMZx{grid-template-columns:1fr}}