use new theme

This commit is contained in:
Christoph Cullmann 2019-08-03 22:26:50 +02:00
parent 05bc58562c
commit ec1341fcd1
261 changed files with 23060 additions and 17 deletions

View file

@ -0,0 +1,33 @@
/* --- Code blocks --- */
.chroma .ln {
margin-right: 0.8em;
padding: 0 0.4em 0 0.4em;
}
pre code.hljs {
padding: 9.5px;
}
.highlight tr, .highlight pre {
border: none;
}
.highlight div:first-child {
border-radius: 4px;
}
.highlight td:first-child pre, .highlight pre {
border-top-left-radius: 4px;
border-top-right-radius: unset;
border-bottom-left-radius: 4px;
border-bottom-right-radius: unset;
overflow: hidden;
}
.highlight td:last-child pre, .highlight pre {
border-radius: unset;
}
.highlight td:last-child pre code, .highlight pre code {
white-space: pre;
}