diff --git a/services/web/app/views/project/editor/pdf.jade b/services/web/app/views/project/editor/pdf.jade index 566f5fd294..0af9b60425 100644 --- a/services/web/app/views/project/editor/pdf.jade +++ b/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, diff --git a/services/web/public/stylesheets/app/editor/toolbar.less b/services/web/public/stylesheets/app/editor/toolbar.less index 0ccf634b59..2b63b41a10 100644 --- a/services/web/public/stylesheets/app/editor/toolbar.less +++ b/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; } }