// Funzioni JScript varie (richiede curvycorners.js)
  function initCorners() {
    var settings = {
      tl: { radius: 10 },
      tr: { radius: 10 },
      bl: { radius: 0 },
      br: { radius: 0 },
      antiAlias: true,
      validTags: ["div"]
    }
	
    curvyCorners(settings, "#portlet1motore");
    curvyCorners(settings, "#portMeteo");
//    curvyCorners(settings, "#puntiVenditaTit");
    curvyCorners(settings, "#portlet2");
    curvyCorners(settings, "#slideshowbrand");
//    curvyCorners(settings, "#readerRSS");
  }
  
  function pageReload() {
	var s = window.location;
	window.location = s;
  }
  
   function resize()
   {
    var currentSize = getViewportSize();
    if (currentSize != g_prevSize)
    {
        g_prevSize = currentSize;
        pageReload();
    }
   }

   function init()
   {
    window.g_prevSize = getViewportSize();
    setInterval(resize, 200);
   }

   function getViewportSize()
   {
    var size = 0;
    if (typeof window.innerWidth != 'undefined')
    {
     size = window.innerWidth;
    }
    else if (typeof document.documentElement != 'undefined' &&
             typeof document.documentElement.clientWidth != 'undefined' &&
             document.documentElement.clientWidth != 0)
    {
     size = document.documentElement.clientWidth;
    }
    else
    {
     size = document.getElementsByTagName('body')[0].clientWidth;
    }

    return size;
   }