Fix font color bug when switching to dark theme (#432)

Lorenzo Balzani

26.33.2023 2ede8810ec4f2d9dd06493eac73d690b0485894d

 assets/css/markupHighlight.css

@@ -66,7 +66,7 @@
  --chr-cpf-color: #75715e;
}

body.theme--dark {
:root.theme--dark {
  /* Dark -> monokai */
  --chr-def-color: #f8f8f2;
  --chr-def-bg-color: #272822;