More design tweaks

This commit is contained in:
Thomas Sileo 2022-07-14 19:05:45 +02:00
parent c32bcdad8e
commit 61c3c3e214
5 changed files with 7 additions and 221 deletions

View file

@ -45,7 +45,7 @@ a {
div.highlight {
background: #f0f0f0;
padding: 10px;
padding: 0 10px;
overflow: auto;
display: block;
margin: 20px 0;