From 1756546d8debcdfe645a0b1b90fed9d5f25855b2 Mon Sep 17 00:00:00 2001 From: Thomas Gelf Date: Thu, 17 Dec 2015 16:34:54 +0100 Subject: [PATCH] css: smaller font size for log file --- public/css/module.less | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/public/css/module.less b/public/css/module.less index e6f501e6..5dd1ba79 100644 --- a/public/css/module.less +++ b/public/css/module.less @@ -21,6 +21,11 @@ pre { background: none; } +pre.logfile { + font-size: 0.875em; + padding: 0; +} + table.avp th { font-size: inherit; }