Shrink tool/command boxes somewhat

develop
lethosor 2022-08-07 18:18:51 -04:00
parent 6b32e008b3
commit 1e7ce2602e
No known key found for this signature in database
GPG Key ID: 76A269552F4F58C1
1 changed files with 7 additions and 1 deletions

@ -61,7 +61,13 @@ span.pre {
overflow-wrap: break-word;
}
.dfhack-tool-summary p {
div.dfhack-tool-summary {
margin: 10px 0;
padding: 10px 15px;
}
div.dfhack-tool-summary p {
margin-top: 0;
margin-bottom: 0.5em;
line-height: 1em;
}