banner random; minor cleanup;

some minor stuff, and now the banner uses two random colors (wow! such
groundbreaking!)