diff --git a/share/static/css/elevator-light/base.css b/share/static/css/elevator-light/base.css index 5938f2977bb..7df9fdcef81 100644 --- a/share/static/css/elevator-light/base.css +++ b/share/static/css/elevator-light/base.css @@ -14,3 +14,8 @@ dl { dd { margin-bottom: .6rem; } + +pre { + font-family: monospace, Courier; + font-size: 100%; +}