https://recode.batmiexpress.com/2023/03/html-code-editor.html