Código PHP:
<script type="text/javascript">
<!--
function log_out()
{
ht = document.getElementsByTagName("html");
ht[0].style.filter = "progid:DXImageTransform.Microsoft.BasicImage(grayscale=1)";
if (confirm('¿En verdad quieres finalizar tu sesión?\n\nsi es así, presiona OK si no,\nentonces presiona el botón CANCEL'))
{
return true;
}
else
{
ht[0].style.filter = "";
return false;
}
}
//-->
</script>
Es javascript combinado con estilos.
