mixed style tweaks

Portal fix