Add more feedback on :hover.

This commit is contained in:
Paulo Reis 2016-06-24 15:55:19 +01:00
parent 6e59a10fb3
commit dfc375adf8
2 changed files with 25 additions and 0 deletions

View file

@ -103,6 +103,7 @@ div.full-size.pdf(ng-controller="PdfController")
ng-init="feedbackSent = false;" ng-init="feedbackSent = false;"
) )
span.line-no span.line-no
i.fa.fa-link(aria-hidden="true") 
span(ng-show="entry.file") {{ entry.file }} span(ng-show="entry.file") {{ entry.file }}
span(ng-show="entry.line") , line {{ entry.line }} span(ng-show="entry.line") , line {{ entry.line }}
p.entry-message(ng-show="entry.message") {{ entry.message }} p.entry-message(ng-show="entry.message") {{ entry.message }}

View file

@ -120,6 +120,10 @@
float: right; float: right;
color: @gray; color: @gray;
font-weight: 700; font-weight: 700;
.fa {
display: none;
}
} }
.entry-message { .entry-message {
font-weight: 700; font-weight: 700;
@ -130,6 +134,26 @@
font-size: 0.8rem; font-size: 0.8rem;
//font-family: @font-family-monospace; //font-family: @font-family-monospace;
} }
&:hover .line-no {
color: inherit;
.fa {
display: inline-block;
}
}
&.alert-danger:hover {
background-color: darken(@alert-danger-bg, 5%);
}
&.alert-warning:hover {
background-color: darken(@alert-warning-bg, 5%);
}
&.alert-info:hover {
background-color: darken(@alert-info-bg, 5%);
}
} }
pre { pre {
font-size: 12px; font-size: 12px;