Refinements to styles from Irene's feedback; robots disallow on github pages