fix code browser, update favicon