A patch of the default theme of Sublime Text