Change Favicon
CSS tweak for ToC height