// Dropdown timer javascript
var timerIDfeatures = "global1";
function hideMenusfeatures() 
{MM_showHideLayers('features','','hide');}
function startTimerfeatures()
{timerIDfeatures = setTimeout("hideMenusfeatures()", 700);}
function stopTimerfeatures()
{clearTimeout(timerIDfeatures);}

var timerIDarticles = "global2";
function hideMenusarticles() 
{MM_showHideLayers('articles','','hide');}
function startTimerarticles()
{timerIDarticles = setTimeout("hideMenusarticles()", 700);}
function stopTimerarticles()
{clearTimeout(timerIDarticles);}

var timerIDcourses = "global3";
function hideMenuscourses() 
{MM_showHideLayers('courses','','hide');}
function startTimercourses()
{timerIDcourses = setTimeout("hideMenuscourses()", 700);}
function stopTimercourses()
{clearTimeout(timerIDcourses);}

var timerIDdiscussions = "global4";
function hideMenusdiscussions() 
{MM_showHideLayers('discussions','','hide');}
function startTimerdiscussions()
{timerIDdiscussions = setTimeout("hideMenusdiscussions()", 700);}
function stopTimerdiscussions()
{clearTimeout(timerIDdiscussions);}

var timerIDjobs = "global5";
function hideMenusjobs() 
{MM_showHideLayers('jobs','','hide');}
function startTimerjobs()
{timerIDjobs = setTimeout("hideMenusjobs()", 700);}
function stopTimerjobs()
{clearTimeout(timerIDjobs);}