Dark Codechef oleh Harshit kumar

This is a simple extension, which intends to improve user experience on the website. It is specifically designed for Codechef website and I look forward to see positive response from the community for this extension.