Fix source reference for monokai.js

What does this MR do and why?

This MR fixes an incorrect source reference made in monokai.js, introduced in 21fa36c7.

This helps to find the correct source of the theme.

References

This happened due to the instructions for adding Web IDE themes:

  1. Copy over all the CSS variables from _dark.scss to _solarized_dark.scss and assign them your own values. Put them under the selector .ide.theme-solarized-dark.

MR acceptance checklist

  • The MR was evaluated against the MR acceptance checklist.

Screenshots or screen recordings

Before After
monokai.js_-_GNU_Emacs_at_nobara-pc_02_56_PM_20-01-2025 monokai.js_-_GNU_Emacs_at_nobara-pc_02_57_PM_20-01-2025

Chat

I had a larger project in mind as my first contribution, which was implementing Catppuccin Mocha as a theme, but then I looked into the files more and realized that this was beyond my current skills.

Closes #514241 (closed)

Edited by Gabriel Santos

Merge request reports

Loading