From bfb94556e69e74954c65587226050cb74624432e Mon Sep 17 00:00:00 2001
From: Thomas Gelf <thomas@gelf.net>
Date: Fri, 13 May 2016 14:21:09 +0200
Subject: [PATCH] public/css: use smaller font size for diff...

...on small screens
---
 public/css/module.less | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/public/css/module.less b/public/css/module.less
index 4c7d2b12..601051fb 100644
--- a/public/css/module.less
+++ b/public/css/module.less
@@ -503,6 +503,16 @@ ul.main-actions {
   }
 }
 
+#layout.compact-layout.twocols table.Differences,
+#layout.default-layout.twocols table.Differences {
+  th {
+    font-size: 0.75em;
+  }
+  td {
+    font-size: 0.916em;
+  }
+}
+
 fieldset {
     margin: 0;
     padding: 0 0 1.5em 0;