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

@@ -141,6 +141,14 @@
     margin-bottom: 30px;
   }
 
+  #csv {
+      padding-right: 10px;
+  }
+
+  h3 {
+      display: inline-block;
+  }
+
   .section_header {
     margin-bottom: 0;
   }