Closed denis-sh closed 11 years ago
Yeah, but there's a reason that padding is there in the first place - it makes the title bar not overlap symbols when jumped to. I am looking for a solution or a redesign where this compromise isn't necessary.
OK. Fixed.
Just to be sure you didn't miss it: I fixed issue you showed and changed the commit. It works for at least Chrome and Firefox now.
Doesn't work in Opera and doesn't really fix the underlying issue (related to issue #8), but it does help for some browsers, thanks!
Doesn't work in Opera...
Sorry. It fails in Opera
because of caused JavaScript code breakage because. Will fix it soon.
...and doesn't really fix the underlying issue (related to issue #8)
Will investigate #8 after fixing this.
Non-zero
.symbol
padding leads to incorrect selection on mouse hover for multipleDDOC_PSYMBOL
s in oneDDOC_DECL
(a result of/// ditto
).For example see http://jakobovrum.github.com/bootdoc-phobos/std.array.html#insertInPlace