From edfc259c5379ec124ac7d05f704d402dedb4563d Mon Sep 17 00:00:00 2001 From: Paulo Reis Date: Mon, 11 Dec 2017 16:55:50 +0000 Subject: [PATCH] Fix missing border on SL. --- services/web/app/views/project/editor/editor.pug | 4 ++-- services/web/public/stylesheets/app/editor/pdf.less | 3 --- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/services/web/app/views/project/editor/editor.pug b/services/web/app/views/project/editor/editor.pug index ad06b6b6ba..1ed95a75ac 100644 --- a/services/web/app/views/project/editor/editor.pug +++ b/services/web/app/views/project/editor/editor.pug @@ -73,14 +73,14 @@ div.full-size( ng-show="!!pdf.url && settings.pdfViewer == 'pdfjs'" ng-controller="PdfSynctexController" ) - a.synctex-control.synctex-control-goto-pdf( + a.btn.btn-default.btn-xs.synctex-control.synctex-control-goto-pdf( tooltip=translate('go_to_code_location_in_pdf') tooltip-placement="right" tooltip-append-to-body="true" ng-click="syncToPdf()" ) i.synctex-control-icon - a.synctex-control.synctex-control-goto-code( + a.btn.btn-default.btn-xs.synctex-control.synctex-control-goto-code( tooltip-html="'"+translate('go_to_pdf_location_in_code', {}, true)+"'" tooltip-placement="right" tooltip-append-to-body="true" diff --git a/services/web/public/stylesheets/app/editor/pdf.less b/services/web/public/stylesheets/app/editor/pdf.less index b8ddfc5efd..e602d2d99b 100644 --- a/services/web/public/stylesheets/app/editor/pdf.less +++ b/services/web/public/stylesheets/app/editor/pdf.less @@ -239,9 +239,6 @@ margin-right: -11px; } .synctex-control { - .btn; - .btn-default; - .btn-xs; display: block; margin-bottom: 3px;