numeri di linea

This commit is contained in:
Paolo Asperti 2024-07-30 23:40:10 +02:00
parent 8ec065cbcc
commit 72a3f47392
Signed by: paspo
GPG Key ID: 06D46905D19D5182

View File

@ -101,3 +101,22 @@ figcaption {
/* Avoid pushing up the copy buttons. */
margin: 0;
}
/* numerazione linee */
div.highlight pre {
counter-reset: line;
white-space: pre-wrap;
}
div.highlight pre code > span {
counter-increment: line;
padding-left: 1.5em;
}
div.highlight pre code > span::before {
font-size: 0.8em;
color: #999;
content: counter(line) ". ";
display: inline-block;
padding-right: 0.2em;
}