2021-04-15 01:37:18 -07:00
|
|
|
@import "variables.scss";
|
|
|
|
|
|
|
|
.highlight-label {
|
|
|
|
padding: 0.25rem 0.5rem 0.25rem 0.5rem;
|
|
|
|
border: $code-border;
|
|
|
|
border-bottom: none;
|
|
|
|
|
|
|
|
a {
|
|
|
|
font-family: $font-code;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.highlight-group pre {
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
font-family: $font-code;
|
2023-03-11 14:07:43 -08:00
|
|
|
@include var(background-color, code-color);
|
2021-04-15 01:37:18 -07:00
|
|
|
border: $code-border;
|
|
|
|
padding: 0 0.25rem 0 0.25rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre code {
|
|
|
|
display: block;
|
|
|
|
box-sizing: border-box;
|
|
|
|
padding: 0.5rem;
|
|
|
|
overflow: auto;
|
|
|
|
}
|
|
|
|
|
|
|
|
.chroma {
|
|
|
|
.lntable {
|
|
|
|
border-spacing: 0;
|
|
|
|
padding: 0.5rem 0 0.5rem 0;
|
2023-03-11 14:07:43 -08:00
|
|
|
@include var(background-color, code-color);
|
2021-04-15 01:37:18 -07:00
|
|
|
border-radius: 0;
|
|
|
|
border: $code-border;
|
|
|
|
display: block;
|
|
|
|
overflow: auto;
|
|
|
|
margin-bottom: 1rem;
|
|
|
|
|
|
|
|
td {
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
border: none;
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre {
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.lntd:last-child {
|
|
|
|
width: 100%;
|
|
|
|
}
|
2024-02-02 21:05:26 -08:00
|
|
|
|
|
|
|
// Insert padding to match the distance of the line number to its
|
|
|
|
// border.
|
|
|
|
.line {
|
|
|
|
padding-left: $code-lineno-spacing;
|
|
|
|
}
|
2021-04-15 01:37:18 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
.lntr {
|
|
|
|
display: table-row;
|
|
|
|
}
|
|
|
|
|
|
|
|
.lnt {
|
|
|
|
display: block;
|
2024-02-02 21:05:26 -08:00
|
|
|
padding: 0 $code-lineno-spacing 0 $code-lineno-spacing;
|
|
|
|
@include var(color, code-lineno-color);
|
|
|
|
border-right: $standard-border;
|
|
|
|
|
|
|
|
// Even though only highlighted line table numbers get the 'star',
|
|
|
|
// insert a corresponding space on non-highlighted ones to keep
|
|
|
|
// spacing consistent.
|
|
|
|
&::before {
|
|
|
|
content: " ";
|
|
|
|
}
|
2021-04-15 01:37:18 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
.hl {
|
|
|
|
display: block;
|
2023-03-11 14:56:46 -08:00
|
|
|
@include var(background-color, code-highlight-color);
|
2021-04-15 01:37:18 -07:00
|
|
|
|
2024-02-02 21:05:26 -08:00
|
|
|
.lnt {
|
|
|
|
border-left-color: $border-color;
|
|
|
|
&::before {
|
|
|
|
content: "*";
|
|
|
|
}
|
2021-04-15 01:37:18 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-24 11:03:49 -08:00
|
|
|
.kr, .kd, .k {
|
2021-04-15 01:37:18 -07:00
|
|
|
font-weight: bold;
|
2023-03-11 14:07:43 -08:00
|
|
|
@include var(color, code-keyword-color);
|
2021-04-15 01:37:18 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
.kt {
|
|
|
|
font-weight: bold;
|
2023-03-11 14:07:43 -08:00
|
|
|
@include var(color, code-type-color);
|
2021-04-15 01:37:18 -07:00
|
|
|
}
|
|
|
|
|
2023-11-24 11:03:49 -08:00
|
|
|
.c, .c1, .cm {
|
2023-03-11 14:07:43 -08:00
|
|
|
color: $code-comment-color;
|
2021-04-15 01:37:18 -07:00
|
|
|
}
|