Skip to content

web: subtly band grouped ranges in the tracer instruction list #265

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
gnidan wants to merge 2 commits into from
Closed

web: subtly band grouped ranges in the tracer instruction list #265

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
f8bb6a2
web: subtly band grouped ranges in the tracer instruction list
gnidan Jul 16, 2026
6ab5d09
web: harden banding labels against long source lines
gnidan Jul 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
81 changes: 81 additions & 0 deletions packages/web/src/theme/ProgramExample/TraceDrawer.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -549,6 +549,87 @@
border: 1px solid var(--ifm-color-success);
}

/* Instructions panel header: title + a small grouping control. */
.opcodes-panel-header {
display: flex;
align-items: center;
justify-content: space-between;
gap: 10px;
}

.band-control {
display: inline-flex;
border: 1px solid var(--ifm-color-emphasis-300);
border-radius: 5px;
overflow: hidden;
}

.band-btn {
appearance: none;
border: none;
background: var(--ifm-background-color);
color: var(--ifm-color-content-secondary);
font-family: var(--ifm-font-family-base);
font-size: 10px;
font-weight: 600;
letter-spacing: 0.02em;
text-transform: none;
padding: 2px 7px;
cursor: pointer;
transition:
background 0.15s,
color 0.15s;
}

.band-btn + .band-btn {
border-left: 1px solid var(--ifm-color-emphasis-300);
}

.band-btn:hover:not(.active) {
background: var(--ifm-color-emphasis-100);
color: var(--ifm-color-content);
}

.band-btn.active {
background: var(--ifm-color-emphasis-200);
color: var(--ifm-color-content);
}

/* Subtle grouped-range banding: a faint tint + hairline accent on
alternating groups so grouped ranges read at a glance, with a light
label naming each group. No indentation, no collapsing. */
.opcode-group {
position: relative;
}

.opcode-list-banded .opcode-group:nth-of-type(odd) {
background: var(--ifm-color-emphasis-100);
box-shadow: inset 2px 0 0 var(--ifm-color-emphasis-300);
}

[data-theme="dark"] .opcode-list-banded .opcode-group:nth-of-type(odd) {
background: rgba(255, 255, 255, 0.03);
}

.opcode-group-label {
padding: 3px 12px 1px;
font-family: var(--ifm-font-family-base);
font-size: 10.5px;
font-weight: 600;
line-height: 1.3;
color: var(--ifm-color-content-secondary);
/* Long source-range labels must never widen the panel or wrap: clip to
one line with an ellipsis; the full text is on the element's title. */
max-width: 100%;
white-space: nowrap;
overflow: hidden;
text-overflow: ellipsis;
}

.opcode-group-label.label-function {
color: var(--ifm-color-primary);
}

/* Instruction object footer - user-resizable, scrolls internally */
.instruction-object-panel {
position: relative;
Expand Down
Loading
Loading