Style tweak

This commit is contained in:
Tony Garnock-Jones 2022-06-19 21:10:49 +02:00
parent 70e282a42e
commit f28ae51215
1 changed files with 1 additions and 1 deletions

View File

@ -20,7 +20,7 @@ body {
}
h1, h2, h3, h4, h5, h6 { color: #4f81bd; }
h2 { border-bottom: solid #4f81bd 1px; }
h3, h4 { margin: 0; padding: 0; }
h3, h4 { margin: 1rem 0 0; padding: 0; }
pre, code { background-color: #eee; font-family: "DejaVu Sans Mono", monospace; }
code { font-size: 75%; }
pre { padding: 0.33rem; line-height: 1; overflow-x: auto; }