refined print styles, and compiled