Doxygen: Reduce line gap in code fragments

Code should look compact, why use small fonts otherwise?
Reduce the gap between code lines (stored as separate <div>)
to 70%. This looks about right.

See rEFL0a97a74319256db53fb6e8704b77eb21f92e95a8

diff --git a/doc/img/edoxy.css b/doc/img/edoxy.css
index ace425b..c4d5f14 100644 (file)
--- 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;