Something went wrong. Try again.
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859code { 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; } }}