formatting and python highlighting