You've already forked objdiff-web
mirror of
https://github.com/encounter/objdiff-web.git
synced 2026-03-30 11:32:18 -07:00
Luke Street
43 lines
853 B
CSS
43 lines
853 B
CSS
.row {
|
|
display: flex;
|
|
cursor: pointer;
|
|
user-select: none;
|
|
height: var(--list-row-height);
|
|
padding-left: 0.5em;
|
|
|
|
font-family: var(--code-font-family);
|
|
font-weight: var(--code-font-weight);
|
|
font-size: var(--code-font-size);
|
|
font-variant-ligatures: var(--code-font-variant-ligatures);
|
|
text-wrap: nowrap;
|
|
white-space: pre;
|
|
|
|
&:hover {
|
|
background-color: var(--list-row-hover-background);
|
|
}
|
|
}
|
|
|
|
.indent {
|
|
display: inline-block;
|
|
height: var(--list-row-height);
|
|
width: 0;
|
|
border-right: 1px solid var(--panel-separator);
|
|
margin-left: 0.5em;
|
|
margin-right: 0.5em;
|
|
}
|
|
|
|
.indent-highlighted {
|
|
border-right-color: var(--color-muted);
|
|
}
|
|
|
|
.toggle {
|
|
display: inline-block;
|
|
height: var(--list-row-height);
|
|
width: 1em;
|
|
margin-right: 0.25em;
|
|
}
|
|
|
|
.collapsed {
|
|
color: color-mix(in srgb, var(--foreground) 75%, transparent);
|
|
}
|