// used to change color of top tabs navigation
// adds class "casino" in body tag for casino section pages
if(window.location.href.indexOf(".com/t/casino/")!=-1) document.getElementsByTagName("body")[0].className += (document.getElementsByTagName("body")[0].className=="") ? "casino" : " casino";
// adds class "poker" in body tag for poker section pages
if(window.location.href.indexOf(".com/t/poker/")!=-1 || window.location.href.indexOf(".com/t/paradise-poker/")!=-1) document.getElementsByTagName("body")[0].className += (document.getElementsByTagName("body")[0].className=="") ? "poker" : " poker";
// adds class "games" in body tag for games section pages
if(window.location.href.indexOf(".com/t/games/")!=-1 && window.location.href.indexOf(".com/t/games/filo.aspx")==-1) document.getElementsByTagName("body")[0].className += (document.getElementsByTagName("body")[0].className=="") ? "games" : " games";