User:Cavila/common.js

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">   jQuery Hover Effect  

$(document).ready(function{   $(".button").hover(function { $(this).attr("src","EasyLogicsubset.png"); }, function { $(this).attr("src","EasyLogicpsubset.png"); }); });

