From 7739e0ece8ca683d1690f32c4c7e5e704fa93271 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Alby?= <timothee.alby@gmail.com>
Date: Mon, 28 Jan 2019 14:17:26 +0000
Subject: [PATCH] Merge pull request #1351 from
 sharelatex/hb-csv-metrics-export

Add metrics csv download button

GitOrigin-RevId: 51597ef5b5901b1a659763d190648ed8d37e42ed
---
 services/web/public/stylesheets/app/metrics.less | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/services/web/public/stylesheets/app/metrics.less b/services/web/public/stylesheets/app/metrics.less
index c3fcfcef48..c6010f071e 100644
--- a/services/web/public/stylesheets/app/metrics.less
+++ b/services/web/public/stylesheets/app/metrics.less
@@ -141,6 +141,14 @@
     margin-bottom: 30px;
   }
 
+  #csv {
+      padding-right: 10px;
+  }
+
+  h3 {
+      display: inline-block;
+  }
+
   .section_header {
     margin-bottom: 0;
   }