Fix html export.
Style fix.
Better looking options page (#50).