code { display: table; counter-set: code-line 1; border-collapse: collapse; width: 100%; font-family: var(--font-code); span.comment { font-style: italic; } & > div { display: table-row; &:not(.jump) { &::before { content: counter(code-line); } &::after { content: ""; counter-increment: code-line; } } &.jump { line-height: 2; font-style: italic; user-select: none; font-family: var(--font-content); &::before { content: "\0022EE"; font-style: normal; font-family: var(--font-code); } } &.highlighted { background-color: var(--highlighted-background-color); } &::before { padding: 0 1ch; text-align: right; display: table-cell; width: 0; border-right: solid 1px var(--foreground-color); } span:first-child { padding-left: 1ch; } } }