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

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;