Back to dark default colors; more tweaks for Maxima.