Add in download PDF button

services/web/app/views/project/editor/pdf.jade

@@ -27,6 +27,15 @@ div.full-size.pdf(ng-controller="PdfController")
 				}"
 			) {{ pdf.logEntries.errors.length + pdf.logEntries.warnings.length }}
 			
+		a(
+			ng-href="{{pdf.url}}"
+			target="_blank"
+			ng-if="pdf.url"
+			tooltip="Download PDF"
+			tooltip-placement="bottom"
+		)
+			i.fa.fa-download
+			
 		.toolbar-right
 			a(
 				href,

services/web/public/stylesheets/app/editor/toolbar.less

@@ -94,8 +94,10 @@
 	&.toolbar-tall {
 		height: 58px;
 		padding-top: 10px;
+		a.btn {
+			margin: 0 (@line-height-computed / 2);
+		}
 		a {
-			margin-left: (@line-height-computed / 2);
 			padding: 4px 10px 5px;
 		}
 	}