html page tweaks, favicon fix