*{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}.verify-btn:hover{background-color:var(--primary-blue-hover)}.verify-btn:active{transform:scale(.98)}.verify-btn.secondary{background-color:#6b7280;margin-right:12px}.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}.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)}.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 .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}.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;min-height:100vh;background-color:var(--bg-light-grey)}.questions-content{flex:1;padding:12px 18px;overflow-y:auto}.question-card{background-color:var(--bg-white);border:1px solid var(--border-grey);border-radius:12px;padding:12px 18px;margin-bottom:12px;box-shadow:var(--shadow-sm)}.question-card-header{display:flex;justify-content:space-between;align-items:flex-start;margin-bottom:16px}.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}.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}.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-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}.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:0;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-bottom:10px;margin-left:0;padding:10px 14px;border:1px solid #ffe3cb;border-radius:8px;background-color:#fdf5ef;display:flex;flex-direction:column;gap:4px}.finish-status-title-green{font-size:1rem;font-weight:700;color:#2e7d32}.finish-status-title-red{font-size:1rem;font-weight:700;color:#db641f}.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}.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}