diff --git a/share/misc/docbook.css b/share/misc/docbook.css index ee51fdba58..b5c06018ae 100644 --- a/share/misc/docbook.css +++ b/share/misc/docbook.css @@ -226,7 +226,6 @@ ol { body pre { margin: .75em 0; - line-height: 1.0; font-family: monospace; }