/*
Defines a function to execute on page load that rounds the page corners and
executes the timer script on the edit page.

@author: Peter Parente <parente@cs.unc.edu>
@copyright: Copyright (c) 2005 Peter Parente
@license: GNU General Public License v2.0

All rights reserved. This program and the accompanying materials are made 
available under the terms of the GNU General Public License v2.0 which 
accompanies this distribution, and is available at 
U{www.opensource.org/licenses/gpl-license.php}
*/


window.onload = function () {
  if(NiftyCheck()) {
    Rounded("div#frame", "all", "#336699", "#fff", "smooth");
    Rounded("ul#static_links", "all", "#fff", "#f0f0f0", "smooth");
    Rounded("ul#dynamic_links", "all", "#fff", "#f0f0f0", "smooth");
  }
  if (document.getElementById("edit_form")) {
    var element = document.getElementById("edit_timeout");
    var atts = element.attributes;
    startTimer(atts['value'].value);
  }
}