MediaWiki:Code.js

function rollover { document.getElementById("button").src = "over.png"; }

function rollout { document.getElementById("button").src = "normal.png"; }

function down { document.getElementById("button").src = "clicked.png"; }