/* --jp-mirror-editor-string-color: #ba2121; */
--jp-mirror-editor-string-color: #ec642c;