HTML export - expanding a dive

[Dirk Hohndel]

On Wed, Jun 17, 2015 at 07:22:50PM +0200, Gehad Elrobey wrote:
> Yes, .target is working here on chromium and yes I meant Expansion I ll
> refactor that sorry for the wrong spelling.

No worries. 90+% of us are non-native speakers :-)

I have added a small patch to fix the .target issue and was waiting for
your confirmation. I'll push that in a second - please do your refactoring
on top of that :-)

/D