Even more styling

This commit is contained in:
Daniel Kluge 2022-06-14 18:11:21 +02:00
parent 884aa920e1
commit 5708a30835

View File

@ -54,10 +54,14 @@
pre { pre {
background-color: #282c34; background-color: #282c34;
border: 1px solid var(--repl-color-hint, #188a18); border: 1px solid var(--repl-color-hint, #188a18);
padding: 1px; padding: 1em;
color: #abb2bf; color: #abb2bf;
} }
pre.highlight {
padding: 1px;
}
code { code {
background-color: #282c34; background-color: #282c34;
color: #abb2bf; color: #abb2bf;