https://goojdex.blogspot.com/2023/03/html-code-editor.html