docs: adjust space for options

This commit is contained in:
Terts Diepraam
2022-01-20 18:41:07 +01:00
parent cf42008150
commit 68c584fef6
+5
View File
@@ -0,0 +1,5 @@
<style>
dd {
margin-bottom: 1em;
}
</style>