• 2

If you don't use JQuery, you can change the href attribute of #favicon using document.getElementById('favicon').setAttribute('href','favicon2.png') Maybe you can add it to your post @fserb? 

– johannchopin

 Apr 22, 2020 at 12:53 

Created with the Personal Edition of HelpNDoc: Easily create Help documents