summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/img/edoxy.css1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/img/edoxy.css b/doc/img/edoxy.css
index ace425bbb5..c4d5f146fa 100644
--- a/doc/img/edoxy.css
+++ b/doc/img/edoxy.css
@@ -115,6 +115,7 @@ DIV.fragment {
115 padding-right: 2px; 115 padding-right: 2px;
116 padding-top: 2px; 116 padding-top: 2px;
117 padding-bottom: 2px; 117 padding-bottom: 2px;
118 line-height: 70%;
118} 119}
119PRE.fragment { 120PRE.fragment {
120 font-family: monospace, fixed; 121 font-family: monospace, fixed;