Formatting tweaks; add favicon.