This is an embeddable clock on its own. The Bairro da Penha time page has the full version, and the code to put this one on your own site.