An extension to customize themes of the code editor in Leetcode. Works with both old and new version of Leetcode