diff options
-rw-r--r-- | doc/img/edoxy.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/img/edoxy.css b/doc/img/edoxy.css index ace425bbb..c4d5f146f 100644 --- a/doc/img/edoxy.css +++ b/doc/img/edoxy.css @@ -115,6 +115,7 @@ DIV.fragment { padding-right: 2px; padding-top: 2px; padding-bottom: 2px; + line-height: 70%; } PRE.fragment { font-family: monospace, fixed; |