Style changes for #378