mgalgs theme: more color spiffy'ing (256 colors)