---
title: Monokai theme for the Web IDE
merge_request: 46901
author:
type: added