From c085e9cfbdff80d61d06016f5aa5b48d5524b9fd Mon Sep 17 00:00:00 2001 From: Thomas Gelf Date: Thu, 18 Jun 2015 15:11:27 +0200 Subject: [PATCH] monitoring/css: try better monospace fonts --- modules/monitoring/public/css/module.less | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/modules/monitoring/public/css/module.less b/modules/monitoring/public/css/module.less index dda8f5d55..8f77eef91 100644 --- a/modules/monitoring/public/css/module.less +++ b/modules/monitoring/public/css/module.less @@ -7,7 +7,7 @@ p.pluginoutput { width: 100%; white-space: pre-wrap; - font-family: monospace; + font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', 'DejaVu Sans Mono', 'Courier New', Courier, monospace; } div.pluginoutput { @@ -21,6 +21,7 @@ div.pluginoutput pre { white-space: pre-wrap; border-left: 4px solid #d8d8d8; padding: 0.3em 0 0.3em 1em; + font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', 'DejaVu Sans Mono', 'Courier New', Courier, monospace; } table.objectstate td.state {