Dark mode for the Web IDE in GitLab

The Web IDE [https://docs.gitlab.com/ee/user/project/web_ide/] is fully integrated into the GitLab workflow: * Edit/upload a file * Write and code with advanced syntax highlighting & tools tips * Commit the change, create a branch and Merge Request * CI/CD feedback on the right, no context switches…