python different colorcolumn than latex