Purely cosmetic:  formatting css for readability