put Mike's styles in an external CSS file