2020-09-16 08:53:05 +02:00
|
|
|
.code-highlight pre {
|
2017-02-12 15:06:01 +01:00
|
|
|
overflow: auto;
|
2020-09-16 08:53:05 +02:00
|
|
|
background-color: inherit;
|
|
|
|
|
color: inherit;
|
|
|
|
|
border: inherit;
|
2017-02-12 15:06:01 +01:00
|
|
|
}
|
|
|
|
|
|
2021-06-18 16:44:27 +02:00
|
|
|
@import "../generated/pygments.less";
|
