This commit is contained in:
Edgar 2022-10-20 10:10:54 +02:00 committed by GitHub
parent 7a59671da0
commit aa935e11aa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -117,7 +117,7 @@ a {
pre {
padding: 10px;
overflow-x: auto;
border: 1px solid $color;
border: 4px dotted $color;
margin: 1em 0;
font-family: "JetBrains Mono", monospace;