Fix CSS URLs for the command line editor (now based on Code Mirror)