:root{--preuve-bg: rgba(226, 220, 201, .2);--preuve-border-left: #8f9b6b;--preuve-accent: #6b7852;--preuve-text: var(--text-primary);--preuve-header-bg: rgba(143, 155, 107, .25);--preuve-header-text: #6b7852;--preuve-toggle-bg: #8f9b6b;--preuve-toggle-text: #ffffff;--preuve-shadow: 0 4px 12px var(--shadow-base-color);--preuve-hover-shadow: 0 8px 18px var(--shadow-medium-color);--preuve-code-bg: rgba(143, 155, 107, .15);--preuve-marker-color: #a8b58a;--preuve-qed-bg: #6b7852;--preuve-qed-text: #ffffff}.dark{--preuve-bg: rgba(50, 55, 45, .3);--preuve-border-left: #a8b58a;--preuve-accent: #a8b58a;--preuve-text: #e7e9dd;--preuve-header-bg: rgba(107, 120, 82, .3);--preuve-header-text: #a8b58a;--preuve-toggle-bg: #6b7852;--preuve-toggle-text: #e7e9dd;--preuve-shadow: 0 6px 16px rgba(0, 0, 0, .5);--preuve-hover-shadow: 0 12px 24px rgba(0, 0, 0, .7);--preuve-code-bg: rgba(168, 181, 138, .2);--preuve-marker-color: #8f9b6b;--preuve-qed-bg: #8f9b6b;--preuve-qed-text: #1f2937}.preuve-block{position:relative;border-left:4px solid var(--preuve-border-left);background:var(--preuve-bg);border-radius:0 var(--radius-md) var(--radius-md) 0;box-shadow:var(--preuve-shadow);transition:var(--transition-smooth);overflow:hidden;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px)}.preuve-header{background:var(--preuve-header-bg);padding:1rem 1.5rem;display:flex;align-items:center;gap:1rem;cursor:pointer;position:relative;transition:var(--transition-fast);-webkit-user-select:none;-moz-user-select:none;user-select:none}.preuve-toggle{width:32px;height:32px;background:var(--preuve-toggle-bg);border-radius:6px;display:flex;align-items:center;justify-content:center;flex-shrink:0;box-shadow:0 2px 8px #00000026;transition:var(--transition-smooth);position:relative}.preuve-toggle:before,.preuve-toggle:after{content:"";position:absolute;width:10px;height:2px;background:var(--preuve-toggle-text);transition:var(--transition-smooth)}.preuve-toggle:before{transform:translate(-2px) rotate(45deg)}.preuve-toggle:after{transform:translate(2px) rotate(-45deg)}.preuve-block.is-collapsed .preuve-toggle:before{transform:translate(-2px) rotate(-45deg)}.preuve-block.is-collapsed .preuve-toggle:after{transform:translate(2px) rotate(45deg)}.preuve-header:hover .preuve-toggle{transform:scale(1.1)}.preuve-label{font-size:1.1rem;font-weight:700;color:var(--preuve-header-text);text-transform:uppercase;letter-spacing:1px;font-family:var(--font-sans);font-style:italic}.preuve-state{margin-left:auto;font-size:.8rem;color:var(--preuve-marker-color);font-weight:600;opacity:.7}.preuve-body{max-height:2000px;overflow:hidden;transition:max-height .4s cubic-bezier(.4,0,.2,1),opacity .3s ease,padding .3s ease;padding:1.75rem 1.5rem 0 2rem;opacity:1}.preuve-block.is-collapsed .preuve-body{max-height:0;padding-top:0;padding-bottom:0;opacity:0}.preuve-body:before{content:"";position:absolute;left:1rem;top:4.5rem;bottom:1rem;width:2px;background:repeating-linear-gradient(180deg,var(--preuve-marker-color),var(--preuve-marker-color) 10px,transparent 10px,transparent 20px);opacity:.3}.preuve-block.is-collapsed .preuve-body:before{display:none}.preuve-body .section-text-content{font-family:var(--font-sans);font-size:1.05rem;line-height:1.9;color:var(--preuve-text);position:relative}.preuve-body .section-text-content p{margin-bottom:1.2rem;text-indent:1.5rem}.preuve-body .section-text-content p:first-child{text-indent:0}.preuve-body .section-text-content p:last-child{margin-bottom:0}.preuve-body .section-text-content code{background:var(--preuve-code-bg);color:var(--preuve-accent);padding:.2rem .5rem;border-radius:var(--radius-sm);font-family:Courier New,Consolas,Monaco,monospace;font-size:.95em;font-weight:600;border:1px solid var(--preuve-border-left);transition:var(--transition-fast)}.preuve-body .section-text-content code:hover{background:var(--preuve-accent);color:#fff;border-color:var(--preuve-accent)}.preuve-qed{display:inline-flex;align-items:center;justify-content:center;width:24px;height:24px;background:var(--preuve-qed-bg);color:var(--preuve-qed-text);font-weight:900;font-size:.9rem;margin-top:1.5rem;margin-left:auto;float:right;border-radius:4px;box-shadow:0 2px 8px #0003;transition:var(--transition-smooth)}.preuve-qed:hover{transform:rotate(45deg) scale(1.15)}.preuve-body .section-text-content ol{counter-reset:preuve-step;list-style:none;padding-left:0;margin:1rem 0}.preuve-body .section-text-content ol>li{counter-increment:preuve-step;padding-left:2.5rem;position:relative;margin-bottom:1rem;text-indent:0!important}.preuve-body .section-text-content ol>li:before{content:counter(preuve-step);position:absolute;left:0;top:0;width:28px;height:28px;background:var(--preuve-toggle-bg);color:var(--preuve-toggle-text);border-radius:50%;display:flex;align-items:center;justify-content:center;font-weight:700;font-size:.9rem;box-shadow:0 2px 6px #00000026}.preuve-block{animation:slideInLeft .5s cubic-bezier(.4,0,.2,1) backwards}@keyframes slideInLeft{0%{opacity:0;transform:translate(30px)}to{opacity:1;transform:translate(0)}}@media(max-width:768px){.preuve-block{margin-left:1rem;border-left-width:3px}.preuve-header{padding:.875rem 1.25rem}.preuve-toggle{width:28px;height:28px}.preuve-label{font-size:1rem}.preuve-body{padding:1.5rem 1.25rem 1.5rem 1.5rem}.preuve-body:before{left:.75rem}.preuve-body .section-text-content{font-size:1rem}.preuve-body .section-text-content p{text-indent:1rem}.preuve-body .section-text-content ol>li{padding-left:2rem}.preuve-body .section-text-content ol>li:before{width:24px;height:24px;font-size:.85rem}}