still more tweaks to personal stylesheet that no one will ever see