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.

diff --git a/doc/img/edoxy.css b/doc/img/edoxy.css
index ace425bbb5ddcff63fc78d2e8cbbeb8c070190d9..c4d5f146fa213de4e5b18b03a992d25ea2928392 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;