some more minor styling fixes to trip html