*{margin:0;padding:0;box-sizing:border-box}body{font-family:Open Sans,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,sans-serif;background:#fff;color:#1f2328;padding:16px}.app-layout{display:flex;gap:24px;max-width:100%;height:calc(100vh - 40px)}.app-sidebar{width:220px;flex-shrink:0;display:flex;flex-direction:column}.app-main{flex:1;min-width:0;display:flex;flex-direction:column}h2{font-size:1.4rem;margin-bottom:12px;color:#1f2328}h3{font-size:1.1rem;margin-bottom:8px;color:#1f2328}.controls{padding:0;margin-bottom:20px}.control-group{display:flex;gap:8px;align-items:center;flex-wrap:wrap}label{font-weight:600;color:#656d76}select,button{background:#fff;border:1px solid #d0d7de;color:#1f2328;padding:8px 16px;border-radius:3px;font-size:14px;cursor:pointer;transition:all .2s}select:hover,button:hover{border-color:#0969da;background:#f6f8fa}button{background:#1a7f37;border-color:#1a7f37;color:#fff}button:hover{background:#2da44e}button.active{background:#0969da;border-color:#0969da}button:disabled{opacity:.5;cursor:not-allowed}.view-switcher{display:flex;flex-direction:column;gap:4px}.view-btn{background:transparent;border:none;color:#656d76;padding:6px 10px;border-radius:6px;cursor:pointer;transition:all .15s;text-align:left;font-size:13px}.view-btn:hover{background:#f6f8fa;color:#1f2328}.view-btn.active{background:#eaeef2;color:#1f2328;font-weight:600}.view-btn:disabled{opacity:.4;cursor:not-allowed}.chart-container{background:#f6f8fa;border:1px solid #d0d7de;border-radius:6px;padding:20px;margin-bottom:30px}.chart-title{font-size:1.5rem;margin-bottom:15px;color:#0969da}.chart-description{color:#656d76;margin-bottom:20px;line-height:1.6}.plot-container{min-height:400px}.metrics-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(250px,1fr));gap:20px;margin-bottom:30px}.metric-card{background:#f6f8fa;border:1px solid #d0d7de;border-radius:6px;padding:20px}.metric-label{color:#656d76;font-size:.9rem;margin-bottom:8px}.metric-value{font-size:2rem;font-weight:700;color:#0969da}.metric-unit{font-size:1rem;color:#656d76;margin-left:5px}.task-list{max-height:600px;overflow-y:auto}.task-item{background:#fff;border:1px solid #d0d7de;border-radius:6px;padding:15px;margin-bottom:15px}.task-item h3{color:#0969da;margin-bottom:10px}.task-meta{display:flex;gap:20px;flex-wrap:wrap;font-size:.9rem;color:#656d76}.task-meta span{display:flex;align-items:center;gap:5px}.status-badge{display:inline-block;padding:4px 8px;border-radius:4px;font-size:.85rem;font-weight:600}.status-complete{background:#1a7f37;color:#fff}.status-incomplete{background:#656d76;color:#fff}.status-completed{color:#1a7f37;font-weight:600}.status-ongoing{color:#656d76;font-weight:600}.loading{text-align:center;padding:40px;color:#656d76}.error{background:#cf222e;color:#fff;padding:15px;border-radius:6px;margin-bottom:20px}.info-box{background:#f6f8fa;border:1px solid #d0d7de;border-radius:6px;padding:20px;margin-bottom:30px}.info-box h3{color:#0969da;margin-bottom:10px}.info-box ul{list-style-position:inside;color:#656d76;line-height:1.8}.info-box li{margin-bottom:8px}code{background:#fff;padding:2px 6px;border-radius:3px;font-family:Courier New,monospace;color:#0550ae}.data-table{width:100%;border-collapse:collapse;margin-top:20px}.data-table thead{background:#fff;position:sticky;top:0;z-index:10}.data-table th{padding:12px;text-align:left;font-weight:600;color:#0969da;border-bottom:2px solid #d0d7de;cursor:pointer;-webkit-user-select:none;user-select:none}.data-table th:hover{background:#f6f8fa}.data-table th.sortable:after{content:" ⇅";opacity:.3}.data-table th.sort-asc:after{content:" ↑";opacity:1}.data-table th.sort-desc:after{content:" ↓";opacity:1}.data-table td{padding:10px 12px;border-bottom:1px solid #d0d7de;color:#1f2328;font-size:12px}.data-table tbody tr:hover{background:#f6f8fa}.table-container{max-height:600px;overflow-y:auto;border:1px solid #d0d7de;border-radius:6px}.pagination{display:flex;justify-content:center;align-items:center;gap:10px;margin-top:20px;padding:20px}.pagination button{min-width:40px}.pagination .page-info{color:#656d76;font-size:.9rem}a{color:#0969da;text-decoration:none}a:hover{text-decoration:underline}footer{margin-top:40px;padding:20px;text-align:center;border-top:1px solid #d0d7de;color:#656d76}.sidebar-header[data-v-2b3b865f]{margin-bottom:20px}.sidebar-title[data-v-2b3b865f]{font-size:1.1rem;margin-bottom:16px;color:#1f2328}.sidebar-section[data-v-2b3b865f]{margin-bottom:14px}.sidebar-section>label[data-v-2b3b865f]{display:block;font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.05em;color:#656d76;margin-bottom:6px}.sidebar-row[data-v-2b3b865f]{display:flex;gap:6px;align-items:center}.sidebar-section>select[data-v-2b3b865f]{width:100%;font-size:13px;padding:5px 8px}.sidebar-row select[data-v-2b3b865f]{flex:1;min-width:0;font-size:13px;padding:5px 8px}.sidebar-row button[data-v-2b3b865f]{font-size:12px;padding:5px 10px;white-space:nowrap}.reset-btn[data-v-2b3b865f]{background:none;border:1px solid #d0d7de;color:#656d76}.reset-btn[data-v-2b3b865f]:hover{color:#1f2328;border-color:#656d76;background:none}.repo-status[data-v-2b3b865f]{margin-top:8px;min-height:18px}.loading-indicator[data-v-2b3b865f]{display:flex;align-items:center;gap:6px;font-size:11px;color:#656d76}.spinner[data-v-2b3b865f]{width:12px;height:12px;border:2px solid #d0d7de;border-top-color:#0969da;border-radius:50%;animation:spin-2b3b865f .7s linear infinite}@keyframes spin-2b3b865f{to{transform:rotate(360deg)}}.data-badges[data-v-2b3b865f]{display:flex;gap:5px}.badge[data-v-2b3b865f]{font-size:10px;padding:1px 7px;border-radius:10px;font-weight:500}.badge-commits[data-v-2b3b865f]{background-color:#0969da;color:#fff}.badge-statements[data-v-2b3b865f]{background-color:#1a7f37;color:#fff}.badge-deps[data-v-2b3b865f]{background-color:#8250df;color:#fff}.plotly-chart[data-v-d4d98c8f]{width:100%;min-height:400px}.commit-history[data-v-9fc07b4e]{padding:10px 20px 15px 40px;background-color:#f6f8fa;border-top:1px solid #d0d7de}.sub-table[data-v-9fc07b4e]{width:100%;border-collapse:collapse;font-size:13px}.sub-table th[data-v-9fc07b4e],.sub-table td[data-v-9fc07b4e]{padding:6px 10px;text-align:left;border-bottom:1px solid #eaeef2}.sub-table th[data-v-9fc07b4e]{color:#656d76;font-weight:500}.sub-table tr[data-v-9fc07b4e]:hover{background-color:#eaeef2}.selected-commit[data-v-9fc07b4e]{background-color:#ddf4ff!important}.change-badge[data-v-9fc07b4e]{display:inline-block;padding:2px 6px;border-radius:3px;font-size:11px;font-weight:500}.change-badge.added[data-v-9fc07b4e]{background-color:#3fb95033;color:#1a7f37}.change-badge.modified[data-v-9fc07b4e]{background-color:#58a6ff33;color:#0969da}.change-badge.deleted[data-v-9fc07b4e]{background-color:#f8514933;color:#cf222e}.change-badge.unchanged[data-v-9fc07b4e]{background-color:#8b949e33;color:#656d76}input[type=checkbox][data-v-9fc07b4e]{width:16px;height:16px;cursor:pointer}.statement-viewer[data-v-9ea632bf]{background-color:#f6f8fa;border:1px solid #d0d7de;border-radius:6px;height:fit-content;max-height:calc(100vh - 200px);overflow:hidden;display:flex;flex-direction:column}.viewer-header[data-v-9ea632bf]{display:flex;justify-content:space-between;align-items:center;padding:12px 15px;border-bottom:1px solid #d0d7de;background-color:#eaeef2}.viewer-header h3[data-v-9ea632bf]{margin:0;font-size:14px;font-weight:600}.clear-btn[data-v-9ea632bf]{padding:4px 10px;font-size:12px;background-color:#eaeef2;border:1px solid #d0d7de;color:#1f2328;border-radius:4px;cursor:pointer}.clear-btn[data-v-9ea632bf]:hover{background-color:#d0d7de}.empty-state[data-v-9ea632bf]{padding:30px 15px;text-align:center;color:#656d76}.single-view[data-v-9ea632bf]{padding:15px;overflow:auto}.commit-info[data-v-9ea632bf]{margin-bottom:10px}.commit-label[data-v-9ea632bf]{display:flex;align-items:center;gap:8px;margin-bottom:4px}.commit-meta[data-v-9ea632bf]{font-size:12px;color:#656d76}.code-block[data-v-9ea632bf]{background-color:#fff;border:1px solid #d0d7de;border-radius:6px;padding:12px;overflow-x:auto;font-size:13px;line-height:1.5;margin:0}.code-block code[data-v-9ea632bf]{font-family:SF Mono,Menlo,Monaco,Courier New,monospace;white-space:pre}.diff-view[data-v-9ea632bf]{display:flex;flex-direction:column;overflow:hidden}.diff-header[data-v-9ea632bf]{display:flex;border-bottom:1px solid #d0d7de;background-color:#eaeef2}.diff-col[data-v-9ea632bf]{flex:1;padding:8px 12px;font-size:12px}.diff-col.old[data-v-9ea632bf]{border-right:1px solid #d0d7de}.diff-col code[data-v-9ea632bf]{color:#0969da}.diff-col .date[data-v-9ea632bf]{color:#656d76;margin-left:8px}.diff-content[data-v-9ea632bf]{overflow:auto;flex:1;font-family:SF Mono,Menlo,Monaco,Courier New,monospace;font-size:12px;line-height:1.6}.diff-line[data-v-9ea632bf]{display:flex;white-space:pre}.diff-line.added[data-v-9ea632bf]{background-color:#3fb95026}.diff-line.removed[data-v-9ea632bf]{background-color:#f8514926}.line-prefix[data-v-9ea632bf]{display:inline-block;width:20px;text-align:center;color:#656d76;-webkit-user-select:none;user-select:none;flex-shrink:0}.diff-line.added .line-prefix[data-v-9ea632bf]{color:#1a7f37}.diff-line.removed .line-prefix[data-v-9ea632bf]{color:#cf222e}.line-content[data-v-9ea632bf]{padding-left:8px}.change-badge[data-v-9ea632bf]{display:inline-block;padding:2px 6px;border-radius:3px;font-size:11px;font-weight:500}.change-badge.added[data-v-9ea632bf]{background-color:#3fb95033;color:#1a7f37}.change-badge.modified[data-v-9ea632bf]{background-color:#58a6ff33;color:#0969da}.change-badge.deleted[data-v-9ea632bf]{background-color:#f8514933;color:#cf222e}.statements-table-container[data-v-63390b52]{width:100%}.table-sidebar-layout[data-v-63390b52]{display:flex;gap:20px}.table-section[data-v-63390b52]{flex:1;min-width:0}.sidebar-section[data-v-63390b52]{width:400px;flex-shrink:0}.table-controls[data-v-63390b52]{display:flex;justify-content:space-between;align-items:center;margin-bottom:15px}.search-input[data-v-63390b52]{padding:8px 12px;background:#eaeef2;border:1px solid #d0d7de;color:#1f2328;border-radius:6px;width:250px}.search-input[data-v-63390b52]:focus{outline:none;border-color:#0969da}.toggle-label[data-v-63390b52]{display:flex;align-items:center;gap:6px;color:#656d76;font-size:14px;cursor:pointer}.toggle-label input[data-v-63390b52]{cursor:pointer}.pagination-info[data-v-63390b52]{color:#656d76}.expanded-row[data-v-63390b52]{background-color:#eaeef2}.sub-row-container>td[data-v-63390b52]{padding:0!important;background-color:#f6f8fa}.sortable[data-v-63390b52]{cursor:pointer}.sortable[data-v-63390b52]:hover{background-color:#eaeef2}.time-scrubber[data-v-6d1bd4bc]{background:#f6f8fa;border:1px solid #d0d7de;border-top:none;border-radius:0 0 6px 6px;padding:8px 14px 10px;margin-bottom:10px}.scrubber-controls[data-v-6d1bd4bc]{display:flex;align-items:center;gap:6px}.play-btn[data-v-6d1bd4bc],.step-btn[data-v-6d1bd4bc]{width:28px;height:28px;background-color:#eaeef2;border:1px solid #d0d7de;color:#1f2328;border-radius:6px;cursor:pointer;font-size:10px;display:flex;align-items:center;justify-content:center;flex-shrink:0}.play-btn[data-v-6d1bd4bc]{font-size:12px}.play-btn[data-v-6d1bd4bc]:hover,.step-btn[data-v-6d1bd4bc]:hover{background-color:#d0d7de}.step-btn[data-v-6d1bd4bc]:disabled{opacity:.3;cursor:not-allowed}.time-slider[data-v-6d1bd4bc]{flex:1;min-width:100px}.speed-select[data-v-6d1bd4bc]{background-color:#eaeef2;color:#1f2328;border:1px solid #d0d7de;padding:3px 6px;border-radius:6px;font-size:11px;flex-shrink:0}.commit-info[data-v-6d1bd4bc]{font-size:11px;color:#1f2328;display:flex;align-items:center;gap:8px;margin-top:5px;overflow:hidden}.commit-info code[data-v-6d1bd4bc]{color:#0969da;font-size:10px;flex-shrink:0}.commit-date[data-v-6d1bd4bc]{color:#656d76;flex-shrink:0}.commit-msg[data-v-6d1bd4bc]{color:#656d76;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.mini-flamegraph[data-v-6d1bd4bc]{margin-top:6px;width:100%;height:50px}.node-sidebar[data-v-d810b068]{width:350px;min-width:350px;flex-shrink:0;background-color:#f6f8fa;border:1px solid #d0d7de;border-radius:6px;padding:15px;max-height:700px;overflow-y:auto}.sidebar-header[data-v-d810b068]{display:flex;justify-content:space-between;align-items:flex-start;margin-bottom:15px}.sidebar-header h4[data-v-d810b068]{margin:0;color:#1f2328;font-size:16px;word-break:break-all;flex:1}.close-btn-x[data-v-d810b068]{background:none;border:none;color:#656d76;font-size:20px;cursor:pointer;padding:0 4px;line-height:1;flex-shrink:0}.close-btn-x[data-v-d810b068]:hover{color:#1f2328}.detail-row[data-v-d810b068]{margin-bottom:10px;font-size:13px}.detail-row .label[data-v-d810b068]{color:#656d76;display:block;margin-bottom:2px}.detail-row code[data-v-d810b068]{font-size:11px;word-break:break-all}.importance-bar-container[data-v-d810b068]{display:flex;align-items:center;gap:8px;height:16px}.importance-bar[data-v-d810b068]{height:6px;background:linear-gradient(90deg,#bf8700,#bf8700);border-radius:3px;max-width:120px}.importance-value[data-v-d810b068]{font-size:12px;color:#bf8700;font-weight:500}.sorry-warning[data-v-d810b068]{background-color:#f8514933;color:#cf222e;padding:8px;border-radius:4px;text-align:center;font-weight:500}.detail-section[data-v-d810b068]{margin-top:15px;border-top:1px solid #d0d7de;padding-top:15px}.detail-section h5[data-v-d810b068]{margin:0 0 10px;color:#656d76;font-size:12px;text-transform:uppercase}.detail-section ul[data-v-d810b068]{list-style:none;padding:0;margin:0}.detail-section li[data-v-d810b068]{padding:4px 8px;font-size:12px;color:#0969da;cursor:pointer;border-radius:4px}.detail-section li[data-v-d810b068]:hover{background-color:#eaeef2}.detail-section li.more[data-v-d810b068]{color:#656d76;cursor:default}.detail-section li.more[data-v-d810b068]:hover{background-color:transparent}.detail-section .empty[data-v-d810b068]{color:#656d76;font-size:12px;margin:0}.kind-badge[data-v-d810b068]{display:inline-block;padding:2px 8px;border-radius:12px;font-size:11px;font-weight:500;color:#fff}.kind-theorem[data-v-d810b068]{background-color:#0969da}.kind-lemma[data-v-d810b068]{background-color:#2da44e;color:#fff}.kind-def[data-v-d810b068]{background-color:#bf8700}.kind-structure[data-v-d810b068]{background-color:#8250df}.kind-inductive[data-v-d810b068]{background-color:#bf3989}.kind-abbrev[data-v-d810b068]{background-color:#0550ae;color:#fff}.kind-instance[data-v-d810b068]{background-color:#bf8700;color:#fff}.kind-class[data-v-d810b068]{background-color:#cf222e}.kind-mathlib[data-v-d810b068]{background-color:#6e7681}.kind-method[data-v-d810b068]{background-color:#656d76}.history-table[data-v-d810b068]{max-height:200px;overflow-y:auto}.history-row[data-v-d810b068]{display:flex;align-items:center;gap:8px;padding:4px 0;font-size:11px;border-bottom:1px solid #eaeef2}.history-row code[data-v-d810b068]{color:#0969da;font-size:10px}.history-row .slocs[data-v-d810b068]{color:#656d76}.history-date[data-v-d810b068]{color:#656d76;margin-left:auto;font-size:10px}.change-badge[data-v-d810b068]{display:inline-block;padding:1px 5px;border-radius:3px;font-size:10px;font-weight:500}.change-badge.added[data-v-d810b068]{background-color:#3fb95033;color:#1a7f37}.change-badge.modified[data-v-d810b068]{background-color:#58a6ff33;color:#0969da}.change-badge.deleted[data-v-d810b068]{background-color:#f8514933;color:#cf222e}.sorry-timeline[data-v-d810b068]{display:flex;gap:3px;flex-wrap:wrap}.sorry-dot[data-v-d810b068]{width:8px;height:8px;border-radius:50%;cursor:default}.source-block[data-v-d810b068]{max-height:200px;overflow:auto;background-color:#fff;border-radius:4px}.source-block pre[data-v-d810b068]{margin:0;padding:10px;font-size:11px;line-height:1.5}.source-block code[data-v-d810b068]{color:#1f2328;font-family:SF Mono,Menlo,Monaco,Courier New,monospace;white-space:pre}.load-source-btn[data-v-d810b068]{background-color:#eaeef2;border:1px solid #d0d7de;color:#1f2328;padding:4px 10px;border-radius:4px;font-size:12px;cursor:pointer}.load-source-btn[data-v-d810b068]:hover{background-color:#d0d7de}.loading[data-v-17f3ca0f]{display:flex;align-items:center;justify-content:center;gap:12px;padding:60px 20px;color:#656d76;font-size:15px}.spinner[data-v-17f3ca0f]{width:20px;height:20px;border:2px solid #d0d7de;border-top-color:#0969da;border-radius:50%;animation:spin-17f3ca0f .8s linear infinite}@keyframes spin-17f3ca0f{to{transform:rotate(360deg)}}.refetch-overlay[data-v-17f3ca0f]{position:absolute;inset:0;background:#ffffffb3;display:flex;align-items:center;justify-content:center;gap:10px;color:#656d76;font-size:14px;z-index:10;pointer-events:none}.unified-view[data-v-17f3ca0f]{display:flex;flex-direction:column;height:100%}.unified-content[data-v-17f3ca0f]{flex:1;display:flex;flex-direction:column;min-height:0}.graph-controls[data-v-17f3ca0f]{margin-bottom:0;display:flex;flex-direction:column;gap:8px;flex-shrink:0;background:#f6f8fa;border:1px solid #d0d7de;border-radius:6px 6px 0 0;padding:10px 14px}.control-row[data-v-17f3ca0f]{display:flex;align-items:center;gap:16px;flex-wrap:wrap}.control-spacer[data-v-17f3ca0f]{flex:1}.control-row label[data-v-17f3ca0f]{display:flex;align-items:center;gap:6px;color:#656d76;font-size:12px}.control-row input[type=range][data-v-17f3ca0f]{width:80px}.control-row select[data-v-17f3ca0f]{background-color:#eaeef2;color:#1f2328;border:1px solid #d0d7de;padding:3px 6px;border-radius:6px;font-size:12px}.control-row input[type=text][data-v-17f3ca0f]{background-color:#eaeef2;color:#1f2328;border:1px solid #d0d7de;padding:5px 8px;border-radius:6px;font-size:12px}.toggle-label[data-v-17f3ca0f]{cursor:pointer;-webkit-user-select:none;user-select:none}.file-picker-btn[data-v-17f3ca0f]{background-color:#eaeef2;color:#1f2328;border:1px solid #d0d7de;padding:4px 10px;border-radius:6px;cursor:pointer;font-size:12px;display:flex;align-items:center;gap:6px}.file-picker-btn[data-v-17f3ca0f]:hover{background-color:#d0d7de}.file-picker-caret[data-v-17f3ca0f]{font-size:8px;color:#656d76}.clear-files-btn[data-v-17f3ca0f]{background:none;border:1px solid #d0d7de;color:#656d76;font-size:11px;padding:3px 8px;border-radius:4px;cursor:pointer}.clear-files-btn[data-v-17f3ca0f]:hover{color:#1f2328;border-color:#656d76}.file-picker-panel[data-v-17f3ca0f]{background-color:#f6f8fa;border:1px solid #d0d7de;border-radius:6px;margin-bottom:10px;overflow:hidden;flex-shrink:0}.file-picker-header[data-v-17f3ca0f]{display:flex;align-items:center;gap:8px;padding:8px 10px;border-bottom:1px solid #d0d7de;background-color:#eaeef2}.file-search-input[data-v-17f3ca0f]{background-color:#fff;color:#1f2328;border:1px solid #d0d7de;padding:4px 8px;border-radius:4px;font-size:12px;flex:1;min-width:120px}.file-sort-btns[data-v-17f3ca0f]{display:flex;gap:2px}.file-sort-btns button[data-v-17f3ca0f]{background-color:#eaeef2;color:#656d76;border:1px solid #d0d7de;padding:3px 8px;font-size:11px;cursor:pointer}.file-sort-btns button[data-v-17f3ca0f]:first-child{border-radius:4px 0 0 4px}.file-sort-btns button[data-v-17f3ca0f]:last-child{border-radius:0 4px 4px 0}.file-sort-btns button.active[data-v-17f3ca0f]{background-color:#388bfd26;color:#0969da;border-color:#388bfd}.select-all-btn[data-v-17f3ca0f]{background:none;border:1px solid #d0d7de;color:#656d76;font-size:11px;padding:3px 8px;border-radius:4px;cursor:pointer;white-space:nowrap}.select-all-btn[data-v-17f3ca0f]:hover{color:#1f2328}.file-picker-list[data-v-17f3ca0f]{max-height:200px;overflow-y:auto;display:grid;grid-template-columns:repeat(auto-fill,minmax(220px,1fr));gap:0}.file-picker-item[data-v-17f3ca0f]{display:flex;align-items:center;gap:6px;padding:4px 10px;font-size:12px;color:#1f2328;cursor:pointer;border-bottom:1px solid #eaeef2}.file-picker-item[data-v-17f3ca0f]:hover{background-color:#eaeef2}.file-picker-item.selected[data-v-17f3ca0f]{background-color:#388bfd15}.file-check[data-v-17f3ca0f]{width:14px;color:#0969da;font-weight:700;text-align:center;flex-shrink:0}.file-name[data-v-17f3ca0f]{flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.file-count[data-v-17f3ca0f]{color:#6e7681;font-size:11px;flex-shrink:0}.graph-layout[data-v-17f3ca0f]{display:flex;gap:15px;flex:1;min-height:0}.cy-container[data-v-17f3ca0f]{flex:1;min-width:0;min-height:500px;height:calc(100vh - 380px);background-color:#fff;border:1px solid #d0d7de;border-radius:6px}.legend[data-v-17f3ca0f]{margin-top:16px;display:flex;flex-direction:column;gap:4px;font-size:11px;color:#656d76;flex-shrink:0}.legend-section-title[data-v-17f3ca0f]{font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.5px;color:#8b949e;margin-top:8px}.legend-section-title[data-v-17f3ca0f]:first-child{margin-top:0}.legend-item[data-v-17f3ca0f]{display:flex;align-items:center;gap:4px}.legend-dot[data-v-17f3ca0f]{width:9px;height:9px;border-radius:50%;display:inline-block}.deleted-legend-dot[data-v-17f3ca0f]{background:#4a2328;border:2px dashed #cf222e;width:7px;height:7px;box-sizing:content-box}.unmatched-legend-dot[data-v-17f3ca0f]{background:#484f58;border:2px dashed #6e7681;width:7px;height:7px;box-sizing:content-box;transform:rotate(45deg)}.sorry-legend-dot[data-v-17f3ca0f]{background:#0969da;border:2px solid #cf222e;width:7px;height:7px;box-sizing:content-box}.modified-legend-dot[data-v-17f3ca0f]{background:#0969da;border:2px solid #bf8700;width:7px;height:7px;box-sizing:content-box}.context-legend-dot[data-v-17f3ca0f]{background:#484f58;border:1px dotted #6e7681;width:7px;height:7px;box-sizing:content-box;opacity:.6}.cy-source-tooltip{background-color:#fff;border:1px solid #d0d7de;border-radius:8px;box-shadow:0 4px 16px #0000001f;max-width:500px;max-height:350px;overflow:hidden}.cy-source-tooltip .tooltip-header{padding:8px 12px;background-color:#eaeef2;border-bottom:1px solid #d0d7de;display:flex;justify-content:space-between;align-items:center;gap:15px}.cy-source-tooltip .tooltip-name{font-weight:600;color:#1f2328;font-size:13px}.cy-source-tooltip .tooltip-tags{display:flex;gap:6px;align-items:center}.cy-source-tooltip .tooltip-kind,.cy-source-tooltip .tooltip-status{display:inline-block;padding:1px 7px;border-radius:10px;font-size:10px;font-weight:500}.cy-source-tooltip .tooltip-kind{color:#fff}.cy-source-tooltip .tooltip-kind-theorem{background-color:#0969da}.cy-source-tooltip .tooltip-kind-lemma{background-color:#2da44e;color:#fff}.cy-source-tooltip .tooltip-kind-def{background-color:#bf8700}.cy-source-tooltip .tooltip-kind-structure{background-color:#8250df}.cy-source-tooltip .tooltip-kind-inductive{background-color:#bf3989}.cy-source-tooltip .tooltip-kind-abbrev{background-color:#0550ae;color:#fff}.cy-source-tooltip .tooltip-kind-instance{background-color:#bf8700;color:#fff}.cy-source-tooltip .tooltip-kind-class{background-color:#cf222e}.cy-source-tooltip .tooltip-kind-mathlib{background-color:#6e7681}.cy-source-tooltip .tooltip-kind-method{background-color:#656d76}.cy-source-tooltip .tooltip-status-active{background-color:#3fb95033;color:#1a7f37}.cy-source-tooltip .tooltip-status-has-sorry{background-color:#f8514933;color:#cf222e}.cy-source-tooltip .tooltip-status-deleted{background-color:#f8514926;color:#cf222e;border:1px dashed #cf222e}.cy-source-tooltip .tooltip-status-not-yet-created{background-color:#8b949e26;color:#656d76}.cy-source-tooltip .tooltip-status-no-history{background-color:#8b949e26;color:#656d76;border:1px dashed #6e7681}.cy-source-tooltip .tooltip-subheader{padding:4px 12px;font-size:11px;color:#656d76;font-family:monospace;background-color:#eaeef2;border-bottom:1px solid #d0d7de}.cy-source-tooltip .tooltip-path{font-size:11px;color:#656d76;font-family:monospace}.cy-source-tooltip .tooltip-code{margin:0;padding:12px;overflow:auto;max-height:280px;font-size:12px;line-height:1.5;background-color:#fff}.cy-source-tooltip .tooltip-code code{color:#1f2328;font-family:SF Mono,Menlo,Monaco,Courier New,monospace;white-space:pre}