Add documentation for new options

2025-12-26 18:46:31 +00:00 · 2017-04-14 00:14:11 +02:00
parent a634c22ae0
commit 55bdc1fa16
3 changed files with 10 additions and 4 deletions
--- a/doc/code.css
+++ b/doc/code.css
@@ -1,4 +1,4 @@
-code {
+code, pre {
    font-size: 90%;
 }