fix python console snippet code highlighting