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
64 lines
1011 B
CSS
64 lines
1011 B
CSS
.symbols {
|
|
flex: 1 1 0;
|
|
display: flex;
|
|
flex-flow: row;
|
|
overflow: auto;
|
|
}
|
|
|
|
.symbol-list {
|
|
flex: 1 1 0;
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
.flag-local {
|
|
color: inherit;
|
|
}
|
|
|
|
.flag-global {
|
|
color: var(--color-green);
|
|
}
|
|
|
|
.flag-weak {
|
|
color: inherit;
|
|
}
|
|
|
|
.flag-common {
|
|
color: var(--color-blue);
|
|
}
|
|
|
|
.flag-hidden {
|
|
color: var(--color-muted);
|
|
}
|
|
|
|
.symbol-name {
|
|
color: var(--color-bright);
|
|
}
|
|
|
|
.no-object {
|
|
color: var(--color-blue);
|
|
|
|
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;
|
|
}
|
|
|
|
.selected {
|
|
background-color: var(--list-row-selection-background) !important;
|
|
}
|
|
|
|
.highlighted {
|
|
background-color: var(--list-row-highlight-background) !important;
|
|
}
|
|
|
|
.selected.highlighted {
|
|
background-color: color-mix(
|
|
in srgb,
|
|
var(--list-row-selection-background) 50%,
|
|
var(--list-row-highlight-background) 50%
|
|
) !important;
|
|
}
|