591 lines
15 KiB
CSS
591 lines
15 KiB
CSS
|
|
/* CorrectBench Web UI Styles */
|
||
|
|
:root {
|
||
|
|
--bg-primary: #0f1117;
|
||
|
|
--bg-secondary: #1a1d27;
|
||
|
|
--bg-tertiary: #242836;
|
||
|
|
--bg-hover: #2d3245;
|
||
|
|
--border: #2d3245;
|
||
|
|
--text-primary: #e4e6ed;
|
||
|
|
--text-secondary: #9ca0b0;
|
||
|
|
--text-muted: #6b7084;
|
||
|
|
--accent: #6c8cff;
|
||
|
|
--accent-hover: #5a7aee;
|
||
|
|
--accent-glow: rgba(108, 140, 255, 0.15);
|
||
|
|
--success: #4ade80;
|
||
|
|
--warning: #fbbf24;
|
||
|
|
--danger: #f87171;
|
||
|
|
--danger-hover: #ef5656;
|
||
|
|
--info: #60a5fa;
|
||
|
|
--mono: 'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'Consolas', monospace;
|
||
|
|
--sans: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
|
||
|
|
}
|
||
|
|
|
||
|
|
* { margin: 0; padding: 0; box-sizing: border-box; }
|
||
|
|
|
||
|
|
body {
|
||
|
|
font-family: var(--sans);
|
||
|
|
background: var(--bg-primary);
|
||
|
|
color: var(--text-primary);
|
||
|
|
min-height: 100vh;
|
||
|
|
display: flex;
|
||
|
|
}
|
||
|
|
|
||
|
|
/* ===== Sidebar ===== */
|
||
|
|
.sidebar {
|
||
|
|
width: 320px;
|
||
|
|
min-width: 320px;
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
border-right: 1px solid var(--border);
|
||
|
|
display: flex;
|
||
|
|
flex-direction: column;
|
||
|
|
height: 100vh;
|
||
|
|
overflow: hidden;
|
||
|
|
}
|
||
|
|
|
||
|
|
.sidebar-header {
|
||
|
|
padding: 20px 20px 16px;
|
||
|
|
border-bottom: 1px solid var(--border);
|
||
|
|
}
|
||
|
|
|
||
|
|
.sidebar-header h1 {
|
||
|
|
font-size: 15px;
|
||
|
|
font-weight: 700;
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
gap: 8px;
|
||
|
|
line-height: 1.4;
|
||
|
|
}
|
||
|
|
|
||
|
|
.sidebar-header h1 span { font-size: 22px; }
|
||
|
|
.sidebar-header .subtitle { font-size: 12px; color: var(--text-muted); margin-top: 4px; }
|
||
|
|
|
||
|
|
.sidebar-content {
|
||
|
|
flex: 1;
|
||
|
|
overflow-y: auto;
|
||
|
|
padding: 16px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.sidebar-content::-webkit-scrollbar { width: 4px; }
|
||
|
|
.sidebar-content::-webkit-scrollbar-track { background: transparent; }
|
||
|
|
.sidebar-content::-webkit-scrollbar-thumb { background: var(--border); border-radius: 2px; }
|
||
|
|
|
||
|
|
.section-title {
|
||
|
|
font-size: 11px;
|
||
|
|
font-weight: 600;
|
||
|
|
text-transform: uppercase;
|
||
|
|
letter-spacing: 1px;
|
||
|
|
color: var(--text-muted);
|
||
|
|
margin-bottom: 10px;
|
||
|
|
margin-top: 16px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.section-title:first-child { margin-top: 0; }
|
||
|
|
|
||
|
|
.config-select {
|
||
|
|
width: 100%;
|
||
|
|
padding: 10px 12px;
|
||
|
|
background: var(--bg-tertiary);
|
||
|
|
border: 1px solid var(--border);
|
||
|
|
border-radius: 8px;
|
||
|
|
color: var(--text-primary);
|
||
|
|
font-size: 13px;
|
||
|
|
font-family: var(--mono);
|
||
|
|
cursor: pointer;
|
||
|
|
appearance: none;
|
||
|
|
background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' fill='%236b7084' viewBox='0 0 16 16'%3E%3Cpath d='M8 11L3 6h10z'/%3E%3C/svg%3E");
|
||
|
|
background-repeat: no-repeat;
|
||
|
|
background-position: right 12px center;
|
||
|
|
}
|
||
|
|
|
||
|
|
.config-select:focus {
|
||
|
|
outline: none;
|
||
|
|
border-color: var(--accent);
|
||
|
|
box-shadow: 0 0 0 2px var(--accent-glow);
|
||
|
|
}
|
||
|
|
|
||
|
|
.config-select:disabled { opacity: 0.5; cursor: not-allowed; }
|
||
|
|
|
||
|
|
.config-info {
|
||
|
|
background: var(--bg-tertiary);
|
||
|
|
border: 1px solid var(--border);
|
||
|
|
border-radius: 8px;
|
||
|
|
padding: 12px;
|
||
|
|
margin-top: 10px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.config-info-row {
|
||
|
|
display: flex;
|
||
|
|
justify-content: space-between;
|
||
|
|
align-items: center;
|
||
|
|
padding: 4px 0;
|
||
|
|
font-size: 12px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.config-info-row .label { color: var(--text-muted); }
|
||
|
|
.config-info-row .value { color: var(--text-primary); font-family: var(--mono); font-size: 11px; }
|
||
|
|
.config-info-row .value.model { color: var(--accent); }
|
||
|
|
|
||
|
|
.task-list {
|
||
|
|
max-height: 200px;
|
||
|
|
overflow-y: auto;
|
||
|
|
margin-top: 8px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.task-list::-webkit-scrollbar { width: 3px; }
|
||
|
|
.task-list::-webkit-scrollbar-thumb { background: var(--border); border-radius: 2px; }
|
||
|
|
|
||
|
|
.task-item {
|
||
|
|
padding: 4px 8px;
|
||
|
|
font-size: 12px;
|
||
|
|
font-family: var(--mono);
|
||
|
|
color: var(--text-secondary);
|
||
|
|
border-radius: 4px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.task-item:hover { background: var(--bg-hover); }
|
||
|
|
|
||
|
|
.sidebar-footer {
|
||
|
|
padding: 12px 16px;
|
||
|
|
border-top: 1px solid var(--border);
|
||
|
|
font-size: 11px;
|
||
|
|
color: var(--text-muted);
|
||
|
|
}
|
||
|
|
|
||
|
|
.sidebar-footer .path { font-family: var(--mono); word-break: break-all; margin-top: 4px; }
|
||
|
|
|
||
|
|
/* ===== Main ===== */
|
||
|
|
.main {
|
||
|
|
flex: 1;
|
||
|
|
display: flex;
|
||
|
|
flex-direction: column;
|
||
|
|
height: 100vh;
|
||
|
|
overflow: hidden;
|
||
|
|
}
|
||
|
|
|
||
|
|
.toolbar {
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
gap: 12px;
|
||
|
|
padding: 16px 24px;
|
||
|
|
border-bottom: 1px solid var(--border);
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
}
|
||
|
|
|
||
|
|
.toolbar-title { font-size: 16px; font-weight: 600; flex: 1; }
|
||
|
|
|
||
|
|
.status-badge {
|
||
|
|
display: inline-flex;
|
||
|
|
align-items: center;
|
||
|
|
gap: 6px;
|
||
|
|
padding: 4px 12px;
|
||
|
|
border-radius: 20px;
|
||
|
|
font-size: 12px;
|
||
|
|
font-weight: 500;
|
||
|
|
}
|
||
|
|
|
||
|
|
.status-badge.idle { background: var(--bg-tertiary); color: var(--text-muted); }
|
||
|
|
.status-badge.running { background: rgba(74,222,128,0.1); color: var(--success); border: 1px solid rgba(74,222,128,0.2); }
|
||
|
|
.status-badge.stopping { background: rgba(251,191,36,0.1); color: var(--warning); border: 1px solid rgba(251,191,36,0.2); }
|
||
|
|
.status-badge.completed { background: rgba(96,165,250,0.1); color: var(--info); border: 1px solid rgba(96,165,250,0.2); }
|
||
|
|
.status-badge.stopped { background: rgba(248,113,113,0.1); color: var(--danger); border: 1px solid rgba(248,113,113,0.2); }
|
||
|
|
|
||
|
|
.status-dot { width: 6px; height: 6px; border-radius: 50%; background: currentColor; }
|
||
|
|
.status-badge.running .status-dot { animation: pulse 1.5s ease-in-out infinite; }
|
||
|
|
|
||
|
|
@keyframes pulse { 0%,100% { opacity: 1; } 50% { opacity: 0.3; } }
|
||
|
|
|
||
|
|
.elapsed { font-size: 12px; font-family: var(--mono); color: var(--text-muted); margin-left: 4px; }
|
||
|
|
|
||
|
|
.btn {
|
||
|
|
padding: 8px 20px;
|
||
|
|
border: none;
|
||
|
|
border-radius: 8px;
|
||
|
|
font-size: 13px;
|
||
|
|
font-weight: 600;
|
||
|
|
cursor: pointer;
|
||
|
|
transition: all 0.15s ease;
|
||
|
|
display: inline-flex;
|
||
|
|
align-items: center;
|
||
|
|
gap: 6px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.btn:disabled { opacity: 0.4; cursor: not-allowed; }
|
||
|
|
.btn-start { background: var(--accent); color: white; }
|
||
|
|
.btn-start:hover:not(:disabled) { background: var(--accent-hover); box-shadow: 0 0 16px var(--accent-glow); }
|
||
|
|
.btn-stop { background: var(--danger); color: white; }
|
||
|
|
.btn-stop:hover:not(:disabled) { background: var(--danger-hover); }
|
||
|
|
.btn-clear { background: var(--bg-tertiary); color: var(--text-secondary); border: 1px solid var(--border); }
|
||
|
|
.btn-clear:hover:not(:disabled) { background: var(--bg-hover); color: var(--text-primary); }
|
||
|
|
|
||
|
|
/* ===== Log Area ===== */
|
||
|
|
.log-area { flex: 1; display: flex; flex-direction: column; overflow: hidden; }
|
||
|
|
|
||
|
|
.log-header {
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
justify-content: space-between;
|
||
|
|
padding: 10px 24px;
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
border-bottom: 1px solid var(--border);
|
||
|
|
}
|
||
|
|
|
||
|
|
.log-header-title { font-size: 12px; font-weight: 600; text-transform: uppercase; letter-spacing: 0.5px; color: var(--text-muted); }
|
||
|
|
.log-line-count { font-size: 11px; color: var(--text-muted); font-family: var(--mono); }
|
||
|
|
|
||
|
|
.log-content {
|
||
|
|
flex: 1;
|
||
|
|
overflow-y: auto;
|
||
|
|
padding: 16px 24px;
|
||
|
|
background: var(--bg-primary);
|
||
|
|
font-family: var(--mono);
|
||
|
|
font-size: 12.5px;
|
||
|
|
line-height: 1.7;
|
||
|
|
}
|
||
|
|
|
||
|
|
.log-content::-webkit-scrollbar { width: 6px; }
|
||
|
|
.log-content::-webkit-scrollbar-track { background: transparent; }
|
||
|
|
.log-content::-webkit-scrollbar-thumb { background: var(--border); border-radius: 3px; }
|
||
|
|
|
||
|
|
.log-line { white-space: pre-wrap; word-break: break-all; }
|
||
|
|
.log-line.error { color: var(--danger); }
|
||
|
|
.log-line.warning { color: var(--warning); }
|
||
|
|
.log-line.info { color: var(--info); }
|
||
|
|
.log-line.success { color: var(--success); }
|
||
|
|
.log-line.system { color: var(--accent); font-weight: 600; }
|
||
|
|
|
||
|
|
.log-placeholder {
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
justify-content: center;
|
||
|
|
height: 100%;
|
||
|
|
color: var(--text-muted);
|
||
|
|
font-size: 14px;
|
||
|
|
font-family: var(--sans);
|
||
|
|
}
|
||
|
|
|
||
|
|
.log-placeholder .icon { font-size: 48px; margin-bottom: 12px; opacity: 0.3; }
|
||
|
|
.log-placeholder-content { text-align: center; }
|
||
|
|
|
||
|
|
.auto-scroll-toggle {
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
gap: 6px;
|
||
|
|
font-size: 11px;
|
||
|
|
color: var(--text-muted);
|
||
|
|
cursor: pointer;
|
||
|
|
user-select: none;
|
||
|
|
}
|
||
|
|
|
||
|
|
.auto-scroll-toggle input[type="checkbox"] { accent-color: var(--accent); }
|
||
|
|
|
||
|
|
@media (max-width: 900px) {
|
||
|
|
.sidebar { width: 260px; min-width: 260px; }
|
||
|
|
}
|
||
|
|
|
||
|
|
/* ===== Tab Navigation ===== */
|
||
|
|
.tab-nav {
|
||
|
|
display: flex;
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
border-bottom: 1px solid var(--border);
|
||
|
|
padding: 0 24px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.tab-btn {
|
||
|
|
padding: 12px 24px;
|
||
|
|
background: none;
|
||
|
|
border: none;
|
||
|
|
border-bottom: 2px solid transparent;
|
||
|
|
color: var(--text-muted);
|
||
|
|
font-size: 13px;
|
||
|
|
font-weight: 600;
|
||
|
|
cursor: pointer;
|
||
|
|
transition: all 0.15s ease;
|
||
|
|
}
|
||
|
|
|
||
|
|
.tab-btn:hover { color: var(--text-secondary); }
|
||
|
|
|
||
|
|
.tab-btn.active {
|
||
|
|
color: var(--accent);
|
||
|
|
border-bottom-color: var(--accent);
|
||
|
|
}
|
||
|
|
|
||
|
|
.tab-content { display: none; flex: 1; overflow: hidden; }
|
||
|
|
.tab-content.active { display: flex; flex-direction: column; }
|
||
|
|
|
||
|
|
/* ===== Results Page ===== */
|
||
|
|
.results-page {
|
||
|
|
flex: 1;
|
||
|
|
display: flex;
|
||
|
|
flex-direction: column;
|
||
|
|
overflow: hidden;
|
||
|
|
}
|
||
|
|
|
||
|
|
.results-toolbar {
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
gap: 12px;
|
||
|
|
padding: 12px 24px;
|
||
|
|
border-bottom: 1px solid var(--border);
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
}
|
||
|
|
|
||
|
|
.results-toolbar .search-input {
|
||
|
|
flex: 1;
|
||
|
|
max-width: 300px;
|
||
|
|
padding: 8px 12px;
|
||
|
|
background: var(--bg-tertiary);
|
||
|
|
border: 1px solid var(--border);
|
||
|
|
border-radius: 6px;
|
||
|
|
color: var(--text-primary);
|
||
|
|
font-size: 13px;
|
||
|
|
font-family: var(--mono);
|
||
|
|
}
|
||
|
|
|
||
|
|
.results-toolbar .search-input:focus {
|
||
|
|
outline: none;
|
||
|
|
border-color: var(--accent);
|
||
|
|
box-shadow: 0 0 0 2px var(--accent-glow);
|
||
|
|
}
|
||
|
|
|
||
|
|
.results-toolbar .result-count {
|
||
|
|
font-size: 12px;
|
||
|
|
color: var(--text-muted);
|
||
|
|
font-family: var(--mono);
|
||
|
|
}
|
||
|
|
|
||
|
|
.results-list {
|
||
|
|
flex: 1;
|
||
|
|
overflow-y: auto;
|
||
|
|
padding: 12px 24px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.results-list::-webkit-scrollbar { width: 6px; }
|
||
|
|
.results-list::-webkit-scrollbar-track { background: transparent; }
|
||
|
|
.results-list::-webkit-scrollbar-thumb { background: var(--border); border-radius: 3px; }
|
||
|
|
|
||
|
|
.run-card {
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
border: 1px solid var(--border);
|
||
|
|
border-radius: 8px;
|
||
|
|
padding: 14px 16px;
|
||
|
|
margin-bottom: 8px;
|
||
|
|
cursor: pointer;
|
||
|
|
transition: all 0.15s ease;
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
gap: 16px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card:hover {
|
||
|
|
border-color: var(--accent);
|
||
|
|
background: var(--bg-tertiary);
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card.selected {
|
||
|
|
border-color: var(--accent);
|
||
|
|
box-shadow: 0 0 0 1px var(--accent-glow);
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card .task-id {
|
||
|
|
font-family: var(--mono);
|
||
|
|
font-size: 13px;
|
||
|
|
font-weight: 600;
|
||
|
|
color: var(--text-primary);
|
||
|
|
min-width: 140px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card .coverage {
|
||
|
|
font-family: var(--mono);
|
||
|
|
font-size: 13px;
|
||
|
|
font-weight: 600;
|
||
|
|
min-width: 70px;
|
||
|
|
text-align: center;
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card .coverage.high { color: var(--success); }
|
||
|
|
.run-card .coverage.medium { color: var(--warning); }
|
||
|
|
.run-card .coverage.low { color: var(--danger); }
|
||
|
|
|
||
|
|
.run-card .pass-badge {
|
||
|
|
font-size: 11px;
|
||
|
|
padding: 2px 8px;
|
||
|
|
border-radius: 10px;
|
||
|
|
font-weight: 600;
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card .pass-badge.pass {
|
||
|
|
background: rgba(74, 222, 128, 0.1);
|
||
|
|
color: var(--success);
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card .pass-badge.fail {
|
||
|
|
background: rgba(248, 113, 113, 0.1);
|
||
|
|
color: var(--danger);
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card .run-path {
|
||
|
|
font-family: var(--mono);
|
||
|
|
font-size: 11px;
|
||
|
|
color: var(--text-muted);
|
||
|
|
flex: 1;
|
||
|
|
overflow: hidden;
|
||
|
|
text-overflow: ellipsis;
|
||
|
|
white-space: nowrap;
|
||
|
|
}
|
||
|
|
|
||
|
|
.run-card .run-meta {
|
||
|
|
font-size: 11px;
|
||
|
|
color: var(--text-muted);
|
||
|
|
font-family: var(--mono);
|
||
|
|
white-space: nowrap;
|
||
|
|
}
|
||
|
|
|
||
|
|
/* ===== Task Detail Panel ===== */
|
||
|
|
.task-detail {
|
||
|
|
flex: 1;
|
||
|
|
display: flex;
|
||
|
|
flex-direction: column;
|
||
|
|
overflow: hidden;
|
||
|
|
}
|
||
|
|
|
||
|
|
.task-detail-header {
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
gap: 12px;
|
||
|
|
padding: 12px 24px;
|
||
|
|
border-bottom: 1px solid var(--border);
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
}
|
||
|
|
|
||
|
|
.task-detail-header .back-btn {
|
||
|
|
padding: 6px 12px;
|
||
|
|
background: var(--bg-tertiary);
|
||
|
|
border: 1px solid var(--border);
|
||
|
|
border-radius: 6px;
|
||
|
|
color: var(--text-secondary);
|
||
|
|
font-size: 12px;
|
||
|
|
cursor: pointer;
|
||
|
|
}
|
||
|
|
|
||
|
|
.task-detail-header .back-btn:hover {
|
||
|
|
background: var(--bg-hover);
|
||
|
|
color: var(--text-primary);
|
||
|
|
}
|
||
|
|
|
||
|
|
.task-detail-header .task-title {
|
||
|
|
font-size: 16px;
|
||
|
|
font-weight: 600;
|
||
|
|
font-family: var(--mono);
|
||
|
|
}
|
||
|
|
|
||
|
|
.task-detail-body {
|
||
|
|
flex: 1;
|
||
|
|
display: flex;
|
||
|
|
overflow: hidden;
|
||
|
|
}
|
||
|
|
|
||
|
|
/* Info sidebar in detail */
|
||
|
|
.detail-info {
|
||
|
|
width: 280px;
|
||
|
|
min-width: 280px;
|
||
|
|
border-right: 1px solid var(--border);
|
||
|
|
overflow-y: auto;
|
||
|
|
padding: 16px;
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
}
|
||
|
|
|
||
|
|
.detail-info::-webkit-scrollbar { width: 4px; }
|
||
|
|
.detail-info::-webkit-scrollbar-thumb { background: var(--border); border-radius: 2px; }
|
||
|
|
|
||
|
|
.detail-info-row {
|
||
|
|
display: flex;
|
||
|
|
justify-content: space-between;
|
||
|
|
align-items: center;
|
||
|
|
padding: 6px 0;
|
||
|
|
font-size: 12px;
|
||
|
|
border-bottom: 1px solid var(--border);
|
||
|
|
}
|
||
|
|
|
||
|
|
.detail-info-row:last-child { border-bottom: none; }
|
||
|
|
.detail-info-row .label { color: var(--text-muted); }
|
||
|
|
.detail-info-row .value { color: var(--text-primary); font-family: var(--mono); font-size: 11px; }
|
||
|
|
.detail-info-row .value.pass { color: var(--success); }
|
||
|
|
.detail-info-row .value.fail { color: var(--danger); }
|
||
|
|
|
||
|
|
/* Code viewer */
|
||
|
|
.detail-code {
|
||
|
|
flex: 1;
|
||
|
|
display: flex;
|
||
|
|
flex-direction: column;
|
||
|
|
overflow: hidden;
|
||
|
|
}
|
||
|
|
|
||
|
|
.code-tabs {
|
||
|
|
display: flex;
|
||
|
|
background: var(--bg-tertiary);
|
||
|
|
border-bottom: 1px solid var(--border);
|
||
|
|
}
|
||
|
|
|
||
|
|
.code-tab {
|
||
|
|
padding: 8px 16px;
|
||
|
|
background: none;
|
||
|
|
border: none;
|
||
|
|
border-bottom: 2px solid transparent;
|
||
|
|
color: var(--text-muted);
|
||
|
|
font-size: 12px;
|
||
|
|
font-weight: 600;
|
||
|
|
cursor: pointer;
|
||
|
|
font-family: var(--mono);
|
||
|
|
}
|
||
|
|
|
||
|
|
.code-tab:hover { color: var(--text-secondary); }
|
||
|
|
|
||
|
|
.code-tab.active {
|
||
|
|
color: var(--accent);
|
||
|
|
border-bottom-color: var(--accent);
|
||
|
|
background: var(--bg-secondary);
|
||
|
|
}
|
||
|
|
|
||
|
|
.code-viewer {
|
||
|
|
flex: 1;
|
||
|
|
overflow: auto;
|
||
|
|
padding: 16px;
|
||
|
|
background: var(--bg-primary);
|
||
|
|
font-family: var(--mono);
|
||
|
|
font-size: 12px;
|
||
|
|
line-height: 1.6;
|
||
|
|
white-space: pre;
|
||
|
|
color: var(--text-primary);
|
||
|
|
}
|
||
|
|
|
||
|
|
.code-viewer::-webkit-scrollbar { width: 6px; height: 6px; }
|
||
|
|
.code-viewer::-webkit-scrollbar-track { background: transparent; }
|
||
|
|
.code-viewer::-webkit-scrollbar-thumb { background: var(--border); border-radius: 3px; }
|
||
|
|
|
||
|
|
/* Verilog syntax highlighting (basic) */
|
||
|
|
.code-viewer .kw { color: #c792ea; }
|
||
|
|
.code-viewer .cm { color: #546e7a; }
|
||
|
|
.code-viewer .str { color: #c3e88d; }
|
||
|
|
.code-viewer .num { color: #f78c6c; }
|
||
|
|
.code-viewer .dir { color: #89ddff; }
|
||
|
|
.code-viewer .fn { color: #82aaff; }
|
||
|
|
|
||
|
|
.no-results {
|
||
|
|
display: flex;
|
||
|
|
align-items: center;
|
||
|
|
justify-content: center;
|
||
|
|
height: 100%;
|
||
|
|
color: var(--text-muted);
|
||
|
|
font-size: 14px;
|
||
|
|
}
|
||
|
|
|
||
|
|
.no-results-content { text-align: center; }
|
||
|
|
.no-results-content .icon { font-size: 48px; margin-bottom: 12px; opacity: 0.3; }
|
||
|
|
|
||
|
|
@media (max-width: 700px) {
|
||
|
|
body { flex-direction: column; }
|
||
|
|
.sidebar { width: 100%; min-width: 100%; height: auto; max-height: 40vh; }
|
||
|
|
.main { height: 60vh; }
|
||
|
|
.detail-info { width: 200px; min-width: 200px; }
|
||
|
|
}
|