theme syntax-highlighting: support float