Hallo,
Gibt es eine Möglichkeit, die Farben config-extern und für (m)eine Seite zu ändern?
Probiere es im eigenen PHP-Skript mit ini_set():
ini_set("highlight.string","#......");
ini_set("highlight.comment","#......");
ini_set("highlight.keyword","#......");
ini_set("highlight.bg","#......");
ini_set("highlight.default","#......");
ini_set("highlight.html","#......");
MfG, Thomas