*{margin:0;padding:0;box-sizing:border-box}:root{--bg-light-grey: #f5f5f5;--bg-white: #ffffff;--border-grey: #ddd;--text-dark: #213547;--shadow-sm: 0 2px 4px rgba(0, 0, 0, .1);--shadow-md: 0 4px 8px rgba(0, 0, 0, .15);--primary-blue: #3b82f6;--primary-blue-hover: #2563eb}body{font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;line-height:1.6;color:var(--text-dark);background-color:var(--bg-light-grey);overflow:hidden}.app-container{display:flex;flex-direction:column;height:100vh;width:100vw}.top-nav{display:flex;align-items:center;justify-content:flex-start;padding:8px 16px;background-color:var(--bg-white);border-bottom:1px solid var(--border-grey);z-index:10;flex-shrink:0}.nav-left h2{font-size:1.25rem;font-weight:600;color:var(--text-dark)}.main-content{display:flex;flex:1;min-height:0}.resize-handle{flex-shrink:0;width:6px;background-color:transparent;cursor:col-resize;transition:background-color .15s;position:relative}.resize-handle:hover{background-color:#3b82f64d}.resize-handle:active{background-color:#3b82f680}.question-panel{padding:8px 18px 18px;background-color:#fafafa;overflow-y:auto}.question-title{font-size:1.1rem;font-weight:600;margin-bottom:8px;color:var(--text-dark)}.question-body{font-size:1rem;line-height:1.6;color:#444}.editor-panel{flex:1;padding:24px;background-color:var(--bg-white);overflow-y:auto}.editor-wrapper{position:relative;width:100%;max-width:none;margin:0}.toggle-switch{position:absolute;top:8px;right:8px;display:inline-flex;align-items:center;gap:8px;padding:6px 12px;background:#fffffff2;border:1px solid var(--border-grey);border-radius:20px;box-shadow:var(--shadow-sm);cursor:pointer;z-index:5;-webkit-user-select:none;user-select:none}.toggle-label{font-size:.85rem;color:var(--text-dark);font-weight:500}.toggle-switch input{display:none}.toggle-slider{display:inline-block;width:36px;height:20px;background-color:#ccc;border-radius:20px;position:relative;transition:background-color .3s}.toggle-slider:before{content:"";position:absolute;top:2px;left:2px;width:16px;height:16px;background-color:#fff;border-radius:50%;box-shadow:0 1px 3px #0003;transition:transform .3s}.toggle-switch input:checked+.toggle-slider{background-color:var(--primary-blue)}.toggle-switch input:checked+.toggle-slider:before{transform:translate(16px)}.proof-textarea{width:100%;min-height:60px;padding:0;font-family:Courier New,monospace;font-size:.95rem;line-height:1.6;border:none;background-color:transparent;resize:none;overflow:hidden;outline:none}.proof-textarea:focus{outline:none}.latex-preview{min-height:200px;padding:16px;border:1px solid var(--border-grey);border-radius:8px;background-color:#fafafa;overflow-x:auto;line-height:1.8;white-space:pre-wrap;word-wrap:break-word}.bottom-panel{display:flex;align-items:center;justify-content:flex-end;padding:16px 24px;background-color:var(--bg-white);border-top:1px solid var(--border-grey);z-index:10;flex-shrink:0}.verify-btn{padding:12px 32px;font-size:1rem;font-weight:600;color:#fff;background-color:var(--primary-blue);border:none;border-radius:8px;cursor:pointer;box-shadow:var(--shadow-sm);transition:background-color .2s,transform .1s;min-width:170px}.verify-btn:hover{background-color:var(--primary-blue-hover)}.verify-btn:active{transform:scale(.98)}.verify-btn.secondary{background-color:#6b7280}.verify-btn.secondary:hover{background-color:#4b5563}.verify-btn.disabled{background-color:#d1d5db;cursor:not-allowed;opacity:.6}.verify-btn.disabled:hover{background-color:#d1d5db}.verify-btn.secondary.disabled,.verify-btn.secondary.disabled:hover{background-color:#9ca3af}.verify-btn:disabled{cursor:not-allowed;opacity:.6}.verify-btn.submitted{background-color:var(--primary-blue);cursor:pointer}.verify-btn.submitted:hover{background-color:var(--primary-blue-hover)}.verification-panel{flex:1;padding:8px 18px 18px;background-color:var(--bg-white);overflow-y:auto}.verification-wrapper{width:100%}.no-data{text-align:center;padding:48px;color:#6b7280;font-size:1.1rem}.step-card-wrapper{position:relative;margin-bottom:4px;display:flex;gap:8px;align-items:flex-start}.step-indicator{flex-shrink:0;width:12px;height:12px;border-radius:50%;border:1px solid;margin-top:24px}.step-indicator.correct{background-color:#10b981;border-color:#059669}.step-indicator.incorrect{background-color:#ffcd45;border-color:#dca226}.step-indicator.ready{background:linear-gradient(to right,#10b981 50%,#d1d5db 50%);border-color:#059669}.step-indicator.na{background-color:#9ca3af;border-color:#6b7280}.step-indicator.grey{background-color:#d1d5db;border-color:#9ca3af}.step-number{flex-shrink:0;width:12px;text-align:right;font-size:.9rem;font-weight:600;color:#6b7280;padding-top:0;font-family:Courier New,monospace;margin-top:20px}.step-card{flex:1;position:relative;background-color:var(--bg-white);border:1px solid transparent;border-color:#e5e7eb;border-radius:8px;padding:16px;transition:border-color .2s}.step-card:hover{border-color:#a1a2a5}.step-controls{position:absolute;top:4px;right:4px;display:flex;gap:4px;opacity:0;transition:opacity .2s;pointer-events:auto;z-index:5}.step-card-wrapper:hover .step-controls{opacity:1;pointer-events:auto}.control-btn{background:none;border:none;cursor:pointer;padding:3px;display:flex;align-items:center;justify-content:center;border-radius:4px;transition:background-color .2s;pointer-events:auto}.control-btn:hover{background-color:#f3f4f6}.control-btn:active{background-color:#e5e7eb}.control-btn img{width:20px;height:20px;pointer-events:none}.step-content{padding-right:40px}.action-type{font-size:.9rem;color:#6b7280;font-style:italic;margin-bottom:8px}.proof-content{font-size:1rem;line-height:1.8;color:var(--text-dark);min-height:30px}.proof-display{white-space:pre-wrap;word-wrap:break-word}.expanded-view{margin-top:16px;padding:16px;border-radius:6px;display:grid;grid-template-columns:auto 1fr;gap:12px 16px}.expanded-view.correct{background-color:#ecfdf5;border:1px solid #d1fae5}.expanded-view.incorrect{background-color:#fef2f2;border:1px solid #fecaca}.info-row{display:contents}.info-label{text-align:right;color:#5c5c5c;font-weight:400;font-size:.9rem}.info-content{text-align:left;color:var(--text-dark);font-size:.9rem;font-weight:400}.info-content ul{margin:0;padding:0}.info-content ul.dependencies-list{margin-left:20px}.info-content li{color:var(--text-dark);font-weight:400;margin-bottom:8px}.annotation{display:inline-block;border:1.5px solid #ffee00;border-radius:4px;padding:2px 6px;background-color:#f2f539;cursor:pointer;font-weight:600;font-size:.9rem;position:relative;transition:all .2s;-webkit-user-select:none;user-select:none;white-space:nowrap}.annotation:hover{background-color:#ffe0b2;box-shadow:0 2px 8px #ff980066;transform:translateY(-1px)}.annotation-word{display:inline;cursor:help;border-bottom:2px dotted #ffdd00;transition:background-color .2s}.annotation-word:hover{background-color:#ff980026}.annotation-tooltip{background-color:#fff;border:1px solid #e5e5e5;border-radius:6px;padding:12px 16px;box-shadow:0 2px 4px #0000000d;font-size:.95rem;max-width:400px;word-wrap:break-word;pointer-events:none;animation:fadeIn .2s ease-in-out}@keyframes fadeIn{0%{opacity:0;transform:translateY(-8px)}to{opacity:1;transform:translateY(0)}}.modal-overlay{position:fixed;inset:0;background-color:#00000080;display:flex;align-items:center;justify-content:center;z-index:1000}.progress-modal{background-color:var(--bg-white);border-radius:12px;box-shadow:var(--shadow-md),0 10px 40px #0003;width:90%;max-width:500px;max-height:70vh;display:flex;flex-direction:column;overflow:hidden;animation:slideUp .3s ease-out}@keyframes slideUp{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}.progress-header{padding:20px 24px;border-bottom:1px solid var(--border-grey);background-color:var(--bg-light-grey)}.progress-header h3{margin:0;font-size:1.1rem;color:var(--text-dark)}.progress-content{flex:1;overflow-y:auto;padding:20px 24px}.progress-messages{display:flex;flex-direction:column;gap:10px}.progress-message{display:flex;align-items:flex-start;gap:12px;font-size:.95rem;color:#444;line-height:1.4}.progress-bullet{color:var(--primary-blue);font-weight:700;flex-shrink:0;margin-top:2px}.progress-text{word-break:break-word}.progress-footer{padding:16px 24px;border-top:1px solid var(--border-grey);background-color:var(--bg-light-grey);display:flex;align-items:center;gap:10px}.spinner{width:18px;height:18px;border:2px solid #e5e7eb;border-top-color:var(--primary-blue, #3b82f6);border-radius:50%;animation:spin 1.2s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.progress-status{margin:0;font-size:.9rem;color:#666;font-style:italic}.verify-btn.secondary{background-color:#f3f4f6;color:#374151;border:1px solid #d1d5db}.verify-btn.secondary:hover:not(:disabled){background-color:#e5e7eb;border-color:#9ca3af}.verify-btn:disabled{opacity:.6;cursor:not-allowed}.informalization-panel{padding:8px 18px 0;background-color:#fafafa;display:flex;flex-direction:column;overflow:hidden}.informalization-panel .panel-title{font-size:1.1rem;font-weight:600;margin-bottom:16px;color:var(--text-dark)}.informalization-panel .info-btn-wrapper{position:relative}.informalization-panel .info-btn{background-color:#d1d5db;border:none;font-size:.85rem;font-weight:600;color:#fff;cursor:pointer;width:20px;height:20px;padding:0;border-radius:50%;display:inline-flex;align-items:center;justify-content:center;transition:background-color .2s}.informalization-panel .info-btn:hover{background-color:#8c8c8c}.informalization-panel .info-tooltip{position:fixed;width:280px;background-color:#fff;border:1px solid #e5e7eb;border-left:1px solid #e5e7eb;border-radius:8px;padding:12px;font-size:.85rem;color:#4b5563;line-height:1.5;box-shadow:0 4px 12px #00000026;z-index:1000}.informalization-panel .info-tooltip-arrow{position:absolute;bottom:-6px;right:24px;width:10px;height:10px;background-color:#fff;border-right:1px solid #e5e7eb;border-bottom:1px solid #e5e7eb;transform:rotate(45deg)}.informalization-panel .panel-loading,.informalization-panel .panel-error,.informalization-panel .panel-placeholder{font-size:.95rem;color:#666;font-style:italic}.informalization-panel .panel-error{color:#dc2626}.claims-list{display:flex;flex-direction:column;gap:4px;flex:1;overflow-y:auto;padding-bottom:16px}.claim-item{background-color:var(--bg-white);border:1px solid var(--border-grey);border-radius:8px;padding:16px}.claim-header{display:flex;align-items:center;gap:10px;margin-bottom:10px}.claim-label{font-weight:600;font-size:.95rem;color:var(--text-dark)}.claim-content{font-size:1rem;line-height:1.6;margin-left:22px;margin-bottom:12px}.claim-error{color:#d32f2f;font-size:.9em;margin-top:8px;padding:4px 8px;background-color:#ffebee;border-radius:4px}.claim-dependencies{margin-top:10px}.deps-toggle{display:flex;align-items:center;gap:6px;background:none;border:none;cursor:pointer;padding:4px 0;font-size:.9rem;color:#6b7280;transition:color .2s}.deps-toggle:hover{color:#374151}.deps-arrow{font-size:.7rem;transition:transform .2s}.deps-arrow.expanded{transform:rotate(0)}.deps-label{font-weight:500}.deps-list{margin-top:8px;margin-left:16px;padding-left:0;list-style:none}.dep-item{font-size:.9rem;line-height:1.5;padding:6px 0;border-bottom:1px solid #f3f4f6;color:#4b5563}.dep-item:last-child{border-bottom:none}.step-card-wrapper.selected .step-card{border-color:var(--primary-blue);box-shadow:0 0 0 2px #3b82f633}.step-card-wrapper{cursor:pointer}.toolbar-wrapper{display:flex;align-items:center;justify-content:flex-start;gap:32px;width:100%}.toolbar-nav-btn{background:none;border:none;color:#6b7280;font-size:.875rem;cursor:pointer;padding:8px 0;transition:color .15s}.toolbar-nav-btn:hover{color:#374151}.latex-toolbar{display:flex;align-items:center;padding:8px 32px}.toolbar-label{font-size:.875rem;color:#424242;margin-right:4px}.toolbar-dropdown-container{position:relative}.toolbar-dropdown-btn{display:flex;align-items:center;gap:4px;padding:6px 10px;background-color:transparent;border:none;border-radius:4px;font-size:.875rem;color:#6b7280;cursor:pointer;transition:background-color .15s}.toolbar-dropdown-btn:hover{background-color:#fff9}.toolbar-dropdown-btn.active{background-color:#fffc}.dropdown-icon{font-size:.9rem}.dropdown-arrow{font-size:.65rem;color:#9ca3af}.toolbar-dropdown-menu{position:absolute;top:100%;left:0;margin-top:4px;background-color:#fff;border:1px solid #e5e7eb;border-radius:8px;box-shadow:0 4px 12px #00000026;z-index:100;min-width:120px}.dropdown-list{display:flex;flex-direction:column;padding:4px 0}.dropdown-list-item{display:block;width:100%;padding:8px 16px;background:none;border:none;text-align:left;font-size:.9rem;font-family:Courier New,monospace;color:#374151;cursor:pointer;transition:background-color .15s}.dropdown-list-item:hover{background-color:#f3f4f6}.dropdown-grid{display:grid;gap:2px;padding:8px}.dropdown-grid-item{display:flex;align-items:center;justify-content:center;width:32px;height:32px;background:none;border:none;border-radius:4px;font-size:1rem;font-family:Times New Roman,Georgia,serif;color:#374151;cursor:pointer;transition:background-color .15s}.dropdown-grid-item:hover{background-color:#e5e7eb}.latex-highlighter{width:100%}.highlighted-code{margin:0;padding:0;font-family:Courier New,monospace;font-size:.95rem;line-height:1.6;white-space:pre-wrap;word-wrap:break-word;background:transparent}.highlighted-code code{font-family:inherit}.edit-mode-container{position:relative;width:100%;min-height:40px}.edit-highlight-layer{position:absolute;top:0;left:0;right:0;pointer-events:none;z-index:0}.edit-highlight-layer .latex-highlighter,.edit-highlight-layer .highlighted-code,.edit-highlight-layer .highlighted-code code{font-family:Courier New,Consolas,monospace;font-size:15px;line-height:1.6;white-space:pre-wrap;word-wrap:break-word;overflow-wrap:break-word}.edit-textarea{position:relative;z-index:1;display:block;width:100%;min-height:40px;height:auto;padding:0;margin:0;font-family:Courier New,Consolas,monospace;font-size:15px;line-height:1.6;border:none;background-color:transparent;color:transparent;caret-color:#374151;resize:none;overflow:hidden;overflow-wrap:break-word;word-wrap:break-word;white-space:pre-wrap;outline:none}.edit-textarea::selection{background-color:#3b82f64d}.app-container-new{display:flex;height:100vh;width:100vw}.left-nav-bar{width:70px;min-width:60px;background-color:#14325c;border-right:1px solid var(--border-grey);display:flex;flex-direction:column;align-items:center;padding-top:8px;padding-bottom:8px;gap:24px;flex-shrink:0}.nav-item{display:flex;flex-direction:column;align-items:center;gap:4px;cursor:pointer;padding:8px;border-radius:8px;transition:background-color .2s}.nav-item:hover{background-color:#ffffff1a}.nav-icon{width:32px;height:32px;filter:brightness(0) invert(1)}.nav-label{font-size:.75rem;color:#fffc;text-align:center;line-height:1rem}.right-content-area{flex:1;display:flex;flex-direction:column;min-width:0}.question-bar{display:flex;align-items:center;background-color:#fafafa;border-bottom:1px solid var(--border-grey);padding:12px 18px;gap:16px;overflow:hidden;flex-shrink:0}.question-bar-left{flex:1;display:flex;flex-direction:column;gap:8px;overflow:hidden}.question-bar-title{font-size:1.1rem;font-weight:600;color:var(--text-dark);margin:0;white-space:nowrap}.question-bar-content{flex:1;overflow-y:auto;overflow-x:hidden;font-size:1rem;line-height:1.6;color:#444}.question-bar-right{flex-shrink:0;display:flex;align-items:center;gap:8px;margin-left:auto}.resize-handle-horizontal{height:6px;background-color:transparent;cursor:row-resize;transition:background-color .15s;flex-shrink:0}.resize-handle-horizontal:hover{background-color:#3b82f64d}.resize-handle-horizontal:active{background-color:#3b82f680}.main-panels{display:flex;flex:1;min-height:0}.App-tips-container{margin-bottom:10px;margin-left:20px;padding:8px 20px;border-radius:6px;border:1px solid;display:flex;flex-direction:column;align-items:left;background-color:#ecf5fa;border-color:#badff4}.App-tips{color:#24a2eb}.feedback-form{margin-top:auto;padding:0 0 8px;background-color:#fafafa;flex-shrink:0}.feedback-input-container{border:1px solid #66a1ff;border-radius:8px;overflow:visible;background-color:#fff;transition:border-color .15s;box-shadow:0 2px 8px #0000001a;gap:8px}.feedback-input-container:focus-within{border-color:#3b82f6}.claim-select{width:100%;padding:10px 12px;border:none;border-bottom:1px solid #e5e7eb;background-color:#fff;font-size:.875rem;color:#6b7280;cursor:pointer;outline:none;appearance:none;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 12 12'%3E%3Cpath fill='%236b7280' d='M3 4.5L6 7.5L9 4.5'/%3E%3C/svg%3E");background-repeat:no-repeat;background-position:right 12px center}.claim-select:focus{border-color:#3b82f6}.feedback-textarea{width:100%;padding:10px 12px;border:none;font-size:.875rem;font-family:inherit;resize:none;outline:none;color:#374151}.tag-select-container{position:relative;border:1px solid #e5e7eb;border-bottom:none;border-radius:8px 8px 0 0;width:100%}.tag-select-input{display:flex;flex-wrap:wrap;align-items:center;gap:6px;min-height:38px;padding:6px 32px 6px 10px;border-radius:8px;background-color:#fff;cursor:pointer;position:relative}.tag-select-arrow{position:absolute;right:12px;top:50%;transform:translateY(-50%);color:#9ca3af;font-size:.75rem;pointer-events:none}.tag-placeholder{color:#9ca3af;font-size:.875rem}.selected-tag{display:inline-flex;align-items:center;gap:4px;padding:2px 6px 2px 10px;background-color:#e5e7eb;border-radius:4px;font-size:.8rem;color:#374151}.tag-remove{background:none;border:none;padding:0 2px;font-size:1rem;color:#6b7280;cursor:pointer;line-height:1}.tag-remove:hover{color:#374151}.tag-dropdown{position:absolute;bottom:100%;left:0;right:0;background-color:#fff;border:1px solid #e5e7eb;border-bottom:none;border-radius:8px 8px 0 0;max-height:200px;overflow-y:auto;z-index:10;box-shadow:0 -4px 12px #0000001a}.tag-dropdown-item{display:flex;align-items:center;gap:8px;padding:10px 12px;font-size:.875rem;color:#374151;cursor:pointer}.tag-dropdown-item:hover{background-color:#f3f4f6}.tag-dropdown-item.selected{background-color:#eff6ff}.tag-checkbox{width:16px;height:16px;display:flex;align-items:center;justify-content:center;border:1px solid #d1d5db;border-radius:3px;font-size:.7rem;color:#3b82f6}.tag-dropdown-item.selected .tag-checkbox{background-color:#3b82f6;border-color:#3b82f6;color:#fff}.feedback-textarea{width:100%;padding:10px 12px;border:1px solid #e5e7eb;border-radius:0 0 8px 8px;font-size:.875rem;font-family:inherit;resize:none;outline:none;color:#374151}.feedback-textarea::placeholder{color:#9ca3af}.feedback-input-container{padding:12px 12px 8px;display:flex;flex-direction:column}.feedback-header{display:flex;justify-content:space-between;align-items:center}.feedback-header-text{display:flex;flex-direction:column}.feedback-title{margin:0;font-size:.875rem;font-weight:600;color:#374151;line-height:1.2}.feedback-subtitle{margin:-2px 0 0;font-size:.75rem;color:#6b7280;line-height:1.2}.feedback-submit-btn{padding:6px 14px;background-color:#3b82f6;color:#fff;border:none;border-radius:6px;font-size:.8rem;font-weight:500;cursor:pointer;transition:background-color .15s}.feedback-submit-btn:hover{background-color:#2563eb}.feedback-submit-message{font-size:.75rem;color:#10b981;text-align:center;padding:4px 0}.questions-page{display:flex;height:100vh;background-color:var(--bg-light-grey);overflow:hidden}.questions-content{flex:1;padding:12px 18px;overflow-y:auto}.question-group{background-color:var(--bg-white);border:1px solid var(--border-grey);border-radius:12px;padding:18px;margin-bottom:16px;box-shadow:var(--shadow-sm)}.question-group-header{font-size:1.4rem;font-weight:700;color:var(--text-dark);margin:0 0 16px}.question-card{padding:12px 0;border-top:1px solid var(--border-grey)}.question-card:last-child{padding-bottom:0}.question-card-header{display:flex;justify-content:space-between;align-items:flex-start;margin-bottom:16px}.question-card-header .verify-btn{text-align:center;padding-left:0;padding-right:0}.question-card-title{font-size:1.25rem;font-weight:600;color:var(--text-dark);margin:0}.question-card-body{color:var(--text-dark);line-height:1.6}.verify-btn.submitted-outline{background-color:#fff;color:var(--primary-blue);border:1px solid var(--primary-blue);cursor:pointer}.verify-btn.submitted-outline:hover{background-color:#eff6ff}.submit-history-section{margin-top:8px}.submit-history-toggle{font-size:.85rem;color:#6b7280;cursor:pointer;-webkit-user-select:none;user-select:none}.submit-history-toggle:hover{color:#434343}.submit-history-chevron{display:inline-block;width:6px;height:6px;border-right:1.5px solid #9ca3af;border-bottom:1.5px solid #9ca3af;transform:rotate(-45deg);margin-left:4px;transition:transform .2s;vertical-align:middle}.submit-history-chevron.open{transform:rotate(45deg)}.submit-history-list{margin-top:6px;padding-left:4px}.submit-history-item{display:flex;gap:12px;align-items:center;padding:3px 0;font-size:.82rem;color:#9ca3af}.submit-history-points{color:#6b7280;font-weight:500}.floating-renderer{position:absolute;top:100%;left:0;right:0;margin-top:4px;background-color:#fafafa;border:1px solid #e5e7eb;border-radius:8px;padding:8px 12px;box-shadow:0 2px 8px #0000001a;z-index:10;max-height:120px;overflow-y:auto}.floating-renderer-label{font-size:.7rem;color:#9ca3af;margin-bottom:4px;font-weight:500;text-transform:uppercase;letter-spacing:.5px}.floating-renderer-content{font-size:.95rem;color:#1f2937;line-height:1.6;word-wrap:break-word}.popover-container{position:fixed;top:20px;left:50%;transform:translate(-50%);z-index:2000;pointer-events:none}.popover{background:#fff;border-radius:8px;padding:12px 20px;box-shadow:0 4px 20px #00000026;font-size:.9rem;color:#374151;animation:popoverSlideIn .25s ease-out;pointer-events:auto}.popover.warning{color:#f59e0b}.popover.error{color:#ef4444}.popover.success{color:#10b981}@keyframes popoverSlideIn{0%{opacity:0;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}@keyframes popoverSlideOut{0%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(-10px)}}.popover.hiding{animation:popoverSlideOut .2s ease-in forwards}.userguide-overlay{position:fixed;top:0;left:0;width:100%;height:100%;background-color:#000c;display:flex;justify-content:center;align-items:center;z-index:1000}.userguide-container{position:relative;display:flex;flex-direction:column;align-items:center;width:100%;height:100%;padding:60px 20px 40px;box-sizing:border-box}.userguide-close-btn{position:absolute;top:5%;right:10%;width:40px;height:40px;border-radius:50%;border:2px solid white;background:transparent;color:#fff;font-size:24px;cursor:pointer;display:flex;justify-content:center;align-items:center;line-height:1;padding:0;transition:background-color .2s}.userguide-close-btn:hover{background-color:#ffffff1a}.userguide-image-container{flex:1;display:flex;justify-content:center;align-items:center;width:100%;overflow:hidden}.userguide-image{width:70%;min-width:600px;height:auto;max-height:100%;object-fit:contain}.userguide-dots{display:flex;gap:10px;margin:20px 0}.userguide-dot{width:10px;height:10px;border-radius:50%;border:2px solid white;background:transparent;cursor:pointer;transition:background-color .2s}.userguide-dot.active{background:#fff}.userguide-dot:hover{background:#ffffff80}.userguide-buttons{display:flex;gap:20px;margin-top:10px}.userguide-next-btn{padding:10px 30px;background-color:#4a90d9;color:#fff;border:none;border-radius:5px;font-size:16px;cursor:pointer;transition:background-color .2s}.userguide-next-btn:hover{background-color:#3a7bc8}.userguide-back-btn{padding:10px 30px;background-color:transparent;color:#fff;border:2px solid white;border-radius:5px;font-size:16px;cursor:pointer;transition:background-color .2s}.userguide-back-btn:hover{background-color:#ffffff1a}.ocr-modal-overlay{position:fixed;inset:0;background-color:#0009;display:flex;align-items:center;justify-content:center;z-index:1000}.ocr-modal-content{background:#fff;border-radius:12px;padding:24px;width:90%;max-width:500px;max-height:80vh;overflow-y:auto;position:relative}.ocr-modal-content h2{margin:0 0 16px;font-size:1.25rem;color:#1f2937}.ocr-modal-close{position:absolute;top:12px;right:12px;background:none;border:none;font-size:24px;cursor:pointer;color:#666}.ocr-modal-close:hover{color:#333}.ocr-image-preview{margin:16px 0;text-align:center}.ocr-preview-image{max-width:100%;max-height:250px;border-radius:8px;border:1px solid #e5e7eb}.ocr-run-btn,.ocr-use-btn{width:100%;padding:12px;background:#3b82f6;color:#fff;border:none;border-radius:8px;cursor:pointer;font-size:16px;margin-top:12px;transition:background-color .2s}.ocr-run-btn:hover,.ocr-use-btn:hover{background:#2563eb}.ocr-run-btn:disabled{background:#9ca3af;cursor:not-allowed}.ocr-retake-btn{width:100%;padding:12px;background:#fff;color:#374151;border:1px solid #d1d5db;border-radius:8px;cursor:pointer;font-size:16px;margin-top:12px;transition:background-color .2s}.ocr-retake-btn:hover{background:#f3f4f6}.ocr-progress{margin-top:16px;padding:12px;background-color:#f3f4f6;border-radius:8px}.ocr-progress p{margin:4px 0;font-size:14px;color:#4b5563}.ocr-results{margin-top:16px}.ocr-results h3{margin:0 0 12px;font-size:1rem;color:#374151}.ocr-result-step{padding:12px;border-bottom:1px solid #e5e7eb}.ocr-result-step:last-of-type{border-bottom:none}.ocr-result-step strong{display:block;margin-bottom:4px;color:#1f2937}.system-alert-overlay{position:fixed;inset:0;background-color:#00000080;display:flex;align-items:center;justify-content:center;z-index:1000}.system-alert-modal{background:#fff;border-radius:12px;padding:32px;width:90%;max-width:480px;max-height:80vh;overflow-y:auto;position:relative;box-shadow:0 4px 24px #00000026;animation:alertFadeIn .2s ease-out}@keyframes alertFadeIn{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}.system-alert-header{display:flex;align-items:center;gap:10px;margin-bottom:16px}.system-alert-icon{font-size:1.25rem}.system-alert-title{margin:0;font-size:1.15rem;font-weight:600;color:#111827}.system-alert-message{font-size:.93rem;font-weight:600;color:#374151;line-height:1.6;margin:0 0 14px}.system-alert-report-section{margin-top:16px;padding-top:16px;border-top:1px solid #e5e7eb}.system-alert-report-prompt{font-size:.875rem;color:#6b7280;margin:0 0 10px}.system-alert-input{width:100%;padding:10px 12px;border:1px solid #d1d5db;border-radius:8px;font-size:.875rem;font-family:inherit;outline:none;color:#374151;box-sizing:border-box;margin-bottom:10px}.system-alert-input:focus{border-color:var(--primary-blue, #3b82f6)}.system-alert-input::placeholder{color:#9ca3af}.system-alert-textarea{width:100%;padding:10px 12px;border:1px solid #d1d5db;border-radius:8px;font-size:.875rem;font-family:inherit;resize:vertical;outline:none;color:#374151;min-height:72px;box-sizing:border-box}.system-alert-textarea:focus{border-color:var(--primary-blue, #3b82f6)}.system-alert-textarea::placeholder{color:#9ca3af}.system-alert-success{background:#ecfdf5;color:#059669;padding:10px 14px;border-radius:4px;font-size:.875rem;margin-top:12px}.system-alert-footer{display:flex;justify-content:flex-end;gap:8px;margin-top:24px;padding-top:16px;border-top:1px solid #e5e7eb}.system-alert-btn{padding:8px 16px;border-radius:6px;font-size:.875rem;font-weight:500;cursor:pointer;transition:background-color .15s,border-color .15s}.system-alert-btn:disabled{opacity:.6;cursor:not-allowed}.system-alert-btn-report{background:var(--primary-blue, #3b82f6);color:#fff;border:none}.system-alert-btn-report:hover:not(:disabled){background:var(--primary-blue-hover, #2563eb)}.system-alert-btn-close{background:#fff;color:#374151;border:1px solid #d1d5db}.system-alert-btn-close:hover{background:#f9fafb;border-color:#9ca3af}.lean-display-panel{display:flex;flex-direction:column;background-color:#1e1e1e;border-left:1px solid #333;height:100%;overflow:hidden}.lean-display-header{display:flex;align-items:center;justify-content:space-between;padding:12px 16px;background-color:#252526;border-bottom:1px solid #333}.lean-display-title{color:#ccc;font-size:1rem;font-weight:600;margin:0}.lean-display-actions{display:flex;align-items:center;gap:8px}.lean-display-copy{background:none;border:none;color:gray;cursor:pointer;padding:4px;display:flex;align-items:center;justify-content:center;border-radius:4px}.lean-display-copy:hover{color:#ccc;background-color:#333}.lean-display-close{background:none;border:none;color:gray;font-size:1.25rem;cursor:pointer;padding:4px 8px;line-height:1}.lean-display-close:hover{color:#ccc}.lean-display-content{flex:1;overflow-y:auto;padding:0;font-family:Consolas,Monaco,Courier New,monospace;font-size:.8rem;line-height:1.5}.lean-lines-wrapper{display:inline-block;min-width:100%}.lean-line{display:flex;padding:0 8px;min-height:1.5em}.lean-line-number{color:#858585;text-align:right;padding-right:16px;min-width:40px;-webkit-user-select:none;user-select:none;flex-shrink:0}.lean-line-content{color:#d4d4d4;white-space:pre;flex:1}.lean-line.highlighted{background-color:#90ee9026}.lean-line.highlighted .lean-line-content{color:#a6e3a1}.lean-line.scroll-target{scroll-margin-top:100px}.see-lean-link{color:#3b82f6;font-size:.75rem;cursor:pointer;margin-top:8px;display:inline-flex;align-items:center;gap:4px}.see-lean-link:hover{color:#2563eb;text-decoration:underline}.see-lean-link:after{content:"›";font-size:.875rem}.hljs-sorry{color:#f87171;font-weight:700}.lean-fold-toggle{background:none;border:none;color:#b2f3ff;font-size:.9rem;font-weight:900;font-family:monospace;cursor:pointer;padding:0;width:16px;height:1.5em;display:inline-flex;align-items:center;justify-content:center;flex-shrink:0;margin-right:2px}.lean-fold-toggle:hover{color:#ccc;background-color:#333;border-radius:2px}.lean-fold-spacer{width:16px;display:inline-block;flex-shrink:0;margin-right:2px}.lean-collapsed-indicator{color:#6a9955;font-style:italic;margin-left:8px;font-size:.75rem;background-color:#6a995526;padding:0 6px;border-radius:3px}.lean-line.foldable-start{background-color:#58a6ff33}.large-jump-warning{color:#a7921b;font-size:.9em;margin-top:8px;padding:4px 8px;background-color:#f5efbd99;border-radius:4px}.large-jump-header{margin-bottom:4px}.large-jump-content{line-height:1.4}.axioms-list{margin:4px 0 0;padding-left:20px}.axiom-item{margin-bottom:2px}.faithfulness-buttons{display:flex;gap:8px;margin:2px 0 14px}.faithfulness-btn{display:inline-flex;align-items:center;gap:6px;background:none;border:1px solid #e5e7eb;border-radius:6px;padding:4px 8px;cursor:pointer;background-color:#fff;transition:background-color .15s,border-color .15s}.faithfulness-btn.selected-correct{border-color:#4ec200;background-color:#f0fce8}.faithfulness-btn.selected-wrong{border-color:#ff5c5c;background-color:#fef2f2}.claim-item-dimmed{background-color:#ededed}.faithfulness-icon{width:16px;height:16px}.faithfulness-label{font-size:.75rem;color:#374151;white-space:nowrap}.finish-status-container-correct{margin-bottom:10px;margin-left:40px;padding:10px 14px;border:1px solid #b5e4b7;border-radius:8px;background-color:#f1fbf2;display:flex;flex-direction:column;gap:4px}.finish-status-container-wrong{margin-top:10px;margin-bottom:10px;margin-left:40px;padding:10px 14px;border:1px solid #ffcdd2;border-radius:8px;background-color:#ffebee;display:flex;flex-direction:column;gap:4px}.finish-status-title-green{font-size:1rem;color:#2e7d32}.finish-status-title-red{font-size:1rem;color:#d32f2f}.finish-status-title-red .error-keyword{color:#d32f2f;font-weight:600}.finish-status-body{font-size:.9rem;color:#333;line-height:1.5}.finish-status-list{margin:4px 0 0;padding-left:20px;font-size:.9rem;color:#333;line-height:1.6}.finish-status-note{font-size:.85rem;color:#666;margin-top:4px;line-height:1.4}.inline-indicator{display:inline-block;width:12px;height:12px;border-radius:100%;vertical-align:middle;margin:0 2px;border:1.5px solid}.inline-indicator.full-green{background-color:#10b981;border-color:#059669}.inline-indicator.full-grey{background-color:#d1d5db;border-color:#9ca3af}.inline-indicator.half-green-grey{background:linear-gradient(to right,#10b981 50%,#d1d5db 50%);border-color:#059669}.finish-status-goal{background-color:#f8f8f8;border:1px solid #ddd;border-radius:4px;padding:8px 12px;margin:8px 0;font-family:Menlo,Monaco,Courier New,monospace;font-size:.85rem;overflow-x:auto;white-space:pre-wrap;word-wrap:break-word;color:#444}.finish-status-explanation{margin-top:8px;font-style:italic;color:#555}.inline-icon{display:inline-block;width:16px;height:16px;vertical-align:middle;margin:0 2px}.see-lean-error{margin-top:12px}.see-lean-error-link{color:#3b82f6;font-size:.75rem;cursor:pointer;display:inline-flex;align-items:center;gap:4px}.see-lean-error-link:hover{text-decoration:underline}.lean-error-display{background-color:#f8f8f8;border:1px solid #ddd;border-radius:4px;padding:12px 16px;margin-top:8px;font-family:Consolas,Monaco,Courier New,monospace;font-size:.8rem;overflow-x:auto;white-space:pre-wrap;word-wrap:break-word;color:#333}.lean-error-display.hljs{background-color:#f8f8f8;color:#333}.lean-error-display .hljs-keyword{color:#0033b3}.lean-error-display .hljs-built_in{color:#7a3e9d}.lean-error-display .hljs-type{color:#0033b3}.lean-error-display .hljs-number{color:#1750eb}.lean-error-display .hljs-sorry{color:#c41a16;font-weight:700}.finish-status-container-warning{margin-bottom:10px;margin-left:40px;padding:10px 14px;border:1px solid #ffc107;border-radius:8px;background-color:#fef3cd;display:flex;flex-direction:column;gap:4px}.finish-status-title-warning{font-size:1rem;color:#856404}.finish-status-container-improvement{margin-top:10px;margin-bottom:10px;margin-left:40px;padding:10px 14px;background-color:#ecf5fa;border:1px solid #badff4;border-radius:8px;display:flex;flex-direction:column;gap:4px}.finish-status-title-purple{font-size:1rem;color:#24a2eb}.finish-status-improvement-list{margin:8px 0 0;padding-left:20px;font-size:1rem;color:#24a2eb;line-height:1.6}.finish-status-improvement-item{margin-bottom:6px}.complete-status-banner{margin-top:16px;padding:16px 20px;background-color:#f0fce8;border:1px solid #4EC200;border-radius:8px;color:#166534;font-size:1rem;font-weight:600;text-align:center}pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}/*!
  Theme: GitHub Dark
  Description: Dark theme as seen on github.com
  Author: github.com
  Maintainer: @Hirse
  Updated: 2021-05-15

  Outdated base version: https://github.com/primer/github-syntax-dark
  Current colors taken from GitHub's CSS
*/.hljs{color:#c9d1d9;background:#0d1117}.hljs-doctag,.hljs-keyword,.hljs-meta .hljs-keyword,.hljs-template-tag,.hljs-template-variable,.hljs-type,.hljs-variable.language_{color:#ff7b72}.hljs-title,.hljs-title.class_,.hljs-title.class_.inherited__,.hljs-title.function_{color:#d2a8ff}.hljs-attr,.hljs-attribute,.hljs-literal,.hljs-meta,.hljs-number,.hljs-operator,.hljs-variable,.hljs-selector-attr,.hljs-selector-class,.hljs-selector-id{color:#79c0ff}.hljs-regexp,.hljs-string,.hljs-meta .hljs-string{color:#a5d6ff}.hljs-built_in,.hljs-symbol{color:#ffa657}.hljs-comment,.hljs-code,.hljs-formula{color:#8b949e}.hljs-name,.hljs-quote,.hljs-selector-tag,.hljs-selector-pseudo{color:#7ee787}.hljs-subst{color:#c9d1d9}.hljs-section{color:#1f6feb;font-weight:700}.hljs-bullet{color:#f2cc60}.hljs-emphasis{color:#c9d1d9;font-style:italic}.hljs-strong{color:#c9d1d9;font-weight:700}.hljs-addition{color:#aff5b4;background-color:#033a16}.hljs-deletion{color:#ffdcd7;background-color:#67060c}.submit-modal-overlay{position:fixed;inset:0;background-color:#00000080;display:flex;align-items:center;justify-content:center;z-index:1000}.submit-modal-content{background:#fff;border-radius:2px;border-top:3px solid var(--primary-blue, #3b82f6);padding:32px;width:90%;max-width:520px;max-height:80vh;overflow-y:auto;position:relative;box-shadow:0 4px 24px #00000026;animation:submitFadeIn .2s ease-out}@keyframes submitFadeIn{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}.submit-modal-content h2{margin:0 0 20px;font-size:1.15rem;font-weight:600;color:#111827}.submit-modal-content p{font-size:.93rem;color:#374151;line-height:1.6;margin:0 0 14px}.submit-modal-close{position:absolute;top:10px;right:14px;background:none;border:none;font-size:22px;cursor:pointer;color:#9ca3af;line-height:1}.submit-modal-close:hover{color:#374151}.submit-modal-section{margin-bottom:20px}.submit-modal-textarea{width:100%;padding:10px 12px;border:1px solid #d1d5db;border-radius:8px;font-size:.875rem;font-family:inherit;resize:vertical;outline:none;color:#374151;min-height:72px;box-sizing:border-box}.submit-modal-textarea:focus{border-color:var(--primary-blue, #3b82f6)}.submit-modal-textarea::placeholder{color:#9ca3af}.submit-modal-buttons{display:flex;justify-content:flex-end;gap:8px;margin-top:24px;padding-top:16px}.submit-modal-buttons.no-border{border-top:none;padding-top:0}.submit-success{text-align:center;padding:20px 0 8px;position:relative;overflow:hidden}.submit-success-emoji{font-size:3rem;display:block;margin-bottom:16px;animation:celebrateBounce .6s ease-out}.submit-success-text{font-size:.95rem;color:#6b7280;margin:0}@keyframes celebrateBounce{0%{transform:scale(0);opacity:0}50%{transform:scale(1.3)}to{transform:scale(1);opacity:1}}.confetti-container{position:absolute;top:0;left:0;width:100%;height:100%;pointer-events:none;overflow:hidden}.confetti-piece{position:absolute;width:8px;height:8px;top:-10px;opacity:0;animation:confettiFall 2.5s ease-in forwards}.confetti-piece:nth-child(1){left:10%;background:#f43f5e;animation-delay:0s;border-radius:50%}.confetti-piece:nth-child(2){left:20%;background:#3b82f6;animation-delay:.15s}.confetti-piece:nth-child(3){left:30%;background:#f59e0b;animation-delay:.3s;border-radius:50%}.confetti-piece:nth-child(4){left:40%;background:#10b981;animation-delay:.1s}.confetti-piece:nth-child(5){left:50%;background:#8b5cf6;animation-delay:.25s;border-radius:50%}.confetti-piece:nth-child(6){left:60%;background:#f43f5e;animation-delay:.05s}.confetti-piece:nth-child(7){left:70%;background:#3b82f6;animation-delay:.35s;border-radius:50%}.confetti-piece:nth-child(8){left:80%;background:#f59e0b;animation-delay:.2s}.confetti-piece:nth-child(9){left:90%;background:#10b981;animation-delay:.4s;border-radius:50%}.confetti-piece:nth-child(10){left:15%;background:#8b5cf6;animation-delay:.12s}.confetti-piece:nth-child(11){left:45%;background:#f43f5e;animation-delay:.28s;border-radius:50%}.confetti-piece:nth-child(12){left:75%;background:#10b981;animation-delay:.08s}@keyframes confettiFall{0%{top:-10px;opacity:1;transform:rotate(0) translate(0)}25%{opacity:1}to{top:110%;opacity:0;transform:rotate(720deg) translate(30px)}}.consent-modal-overlay{position:fixed;inset:0;background-color:#0009;display:flex;align-items:center;justify-content:center;z-index:1000}.consent-modal-content{background:#fff;border-radius:12px;padding:32px;width:90%;max-width:450px;text-align:center}.consent-modal-content h2{margin:0 0 16px;font-size:1.5rem;color:#1f2937}.consent-modal-content p{margin:0 0 16px;font-size:1rem;color:#4b5563}.consent-form-link{color:#3b82f6;text-decoration:underline;font-weight:500}.consent-form-link:hover{color:#2563eb}.consent-btn{width:100%;padding:14px 24px;background:#3b82f6;color:#fff;border:none;border-radius:8px;cursor:pointer;font-size:1rem;font-weight:500;transition:background-color .2s}.consent-btn:hover:not(:disabled){background:#2563eb}.consent-btn:disabled{background:#9ca3af;cursor:not-allowed}