From 2bfe0d0ba9659903d565734f3b057f89fdc68453 Mon Sep 17 00:00:00 2001 From: Paulo Reis Date: Fri, 17 Jun 2016 14:16:38 +0100 Subject: [PATCH] Basic mark-up for hint card. --- services/web/app/views/project/editor/pdf.jade | 5 +++-- services/web/public/stylesheets/app/editor/pdf.less | 4 ++++ 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/services/web/app/views/project/editor/pdf.jade b/services/web/app/views/project/editor/pdf.jade index f1d2e232c5..79b328eada 100644 --- a/services/web/app/views/project/editor/pdf.jade +++ b/services/web/app/views/project/editor/pdf.jade @@ -105,8 +105,9 @@ div.full-size.pdf(ng-controller="PdfController") span(ng-show="entry.file") {{ entry.file }} span(ng-show="entry.line") , line {{ entry.line }} p.entry-message(ng-show="entry.message") {{ entry.message }} - div - i.fa.fa-hand-o-right(aria-hidden="true") + .card.card-hint + figure.card-hint-icon-container + i.fa.fa-lightbulb-o(aria-hidden="true") p.entry-content(ng-show="entry.humanReadableHint", ng-bind-html="entry.humanReadableHint") a(ng-href="{{ entry.extraInfoURL }}", target="_blank") #{translate("log_entry_extra_info")} p.entry-content(ng-show="entry.content") {{ entry.content }} diff --git a/services/web/public/stylesheets/app/editor/pdf.less b/services/web/public/stylesheets/app/editor/pdf.less index 6e813d5eaf..b9b71cc268 100644 --- a/services/web/public/stylesheets/app/editor/pdf.less +++ b/services/web/public/stylesheets/app/editor/pdf.less @@ -177,4 +177,8 @@ .keyboard-shortcut { white-space: nowrap; +} + +.card-hint:extend(.card-thin) { + margin-top: 10px; } \ No newline at end of file