mgalgs theme: spiffy up the colors, add per-host colors