For the longest, I have been looking for a text editor that uses some of the themes used in highlight.js [0]. I can never seem to find one whenever I look. 0:

For the longest, I have been looking for a text editor that uses some of the themes used in highlight.js [0]. I can never seem to find one whenever I look. 0: https://highlightjs.org/ https://highlightjs.org/