slight adjustments to styles, mostly changing file names...