2023-09-06 19:12:27 +02:00
|
|
|
@import "../generated/pygments.less";
|
|
|
|
|
|
|
|
.codelines {
|
|
|
|
margin: @results-margin 0 0 0;
|
|
|
|
padding: @result-padding 0 0 0;
|
2017-02-12 15:06:01 +01:00
|
|
|
}
|
|
|
|
|
2023-09-06 19:12:27 +02:00
|
|
|
.code-highlight-sxng() {
|
|
|
|
.code-highlight {
|
|
|
|
pre {
|
|
|
|
overflow: auto;
|
|
|
|
margin: 0;
|
|
|
|
padding: 0 0 0.75rem 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.linenos {
|
|
|
|
user-select: none;
|
|
|
|
cursor: default;
|
|
|
|
|
|
|
|
&::selection {
|
|
|
|
background: transparent; /* WebKit/Blink Browsers */
|
|
|
|
}
|
|
|
|
|
|
|
|
&::-moz-selection {
|
|
|
|
background: transparent; /* Gecko Browsers */
|
|
|
|
}
|
|
|
|
margin-right: 8px;
|
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
|
|
|
|
span.linenos {
|
|
|
|
color: #64708d;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.code-highlight-sxng();
|
|
|
|
|
|
|
|
/// Dark Theme (autoswitch based on device pref)
|
|
|
|
@media (prefers-color-scheme: dark) {
|
|
|
|
:root.theme-auto {
|
|
|
|
.code-highlight-dark();
|
|
|
|
.code-highlight-sxng();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Dark Theme by preferences
|
|
|
|
:root.theme-dark {
|
|
|
|
.code-highlight-dark();
|
|
|
|
.code-highlight-sxng();
|
|
|
|
}
|