| 1 | .SourceHeaderRow { |
| 2 | display: flex; |
| 3 | align-items: center; |
| 4 | min-height: 24px; |
| 5 | } |
| 6 | |
| 7 | .SourceHeader { |
| 8 | flex: 1 1; |
| 9 | font-family: var(--font-family-sans); |
| 10 | } |
| 11 | |
| 12 | .SourceOneLiner { |
| 13 | font-family: var(--font-family-monospace); |
| 14 | font-size: var(--font-size-monospace-normal); |
| 15 | white-space: nowrap; |
| 16 | overflow: hidden; |
| 17 | text-overflow: ellipsis; |
| 18 | max-width: 100%; |
| 19 | margin-left: 1rem; |
| 20 | } |
| 21 | |
| 22 | .Link { |
| 23 | color: var(--color-link); |
| 24 | white-space: pre; |
| 25 | overflow: hidden; |
| 26 | text-overflow: ellipsis; |
| 27 | flex: 1; |
| 28 | cursor: pointer; |
| 29 | border-radius: 0.125rem; |
| 30 | padding: 0px 2px; |
| 31 | } |
| 32 | |
| 33 | .Link:hover { |
| 34 | background-color: var(--color-background-hover); |
| 35 | } |