function propagateStyle(element, style, attribute) {
   var parent = element.parentNode;
   if(document.defaultView) {
	  var dv = document.defaultView;
	  var currStyle = dv.getComputedStyle(element,"");
	  var value = currStyle.getPropertyValue(style);
   } else {
	  var value = element.currentStyle[attribute];
   }
   //alert(style + '=' + value);
   parent.style[attribute] = value;
}

function roundedImages() {
 var content = document.getElementById('body');
 var imgs = content.getElementsByTagName('img');

 /* Now add additional divs to each of the imgs we have found */
 for (var i = 0; i < imgs.length; i++) {
	 //----------------------
	 // ignore images with "squarecorners" class (NOTE: requires prototype >= 1.4.0)
	 imgElement = $(imgs[i]);
	 if (Element.hasClassName(imgElement, 'squarecorners')) continue;
	 //----------------------

   var original = imgs[i];
   /* Create the outer-most div */
   var wrapper = document.createElement('div');
   wrapper.className = 'wrapper';

   wrapper.style.width = imgs[i].width+'px';
   wrapper.style.height = imgs[i].height+'px';

   /* Swap out the original img with a wrapper div (we'll put it back later) */
   original.parentNode.replaceChild(wrapper, original);


   /* Create the two other inner nodes */
   var tl = document.createElement('div');
   tl.className = 'tl';
   var br = document.createElement('div');
   br.className = 'br';
   var tr = document.createElement('div');
   tr.className = 'tr';
   var bl = document.createElement('div');
   bl.className = 'bl';
   /* Now glue the nodes back inside the wrapper */
   wrapper.appendChild(tl);
   wrapper.appendChild(tr);
   wrapper.appendChild(bl);
   wrapper.appendChild(br);
   /* And glue the img back in after the DIVs */
   wrapper.appendChild(original);

   propagateStyle(original, 'float', document.defaultView ? 'cssFloat' : 'styleFloat' );
   propagateStyle(original, 'margin-left', 'marginLeft');
   propagateStyle(original, 'margin-right', 'marginRight');
   propagateStyle(original, 'margin-bottom', 'marginBottom');
   propagateStyle(original, 'clear', 'clear');

 }
}

function roundedCorners() {
  var divs = document.getElementsByTagName('div');
  var rounded_divs = [];
  for (var i = 0; i < divs.length; i++) {
	if (/\brounded\b/.exec(divs[i].className)) {
	  rounded_divs[rounded_divs.length] = divs[i];
	}
  }
  for (var i = 0; i < rounded_divs.length; i++) {
	var original = rounded_divs[i];
	/* Make it the inner div of the four */
	original.className = original.className.replace('rounded', '');
	/* Now create the outer-most div */
	var tr = document.createElement('div');
	tr.className = 'rounded2';
	/* Swap out the original (we'll put it back later) */
	original.parentNode.replaceChild(tr, original);
	/* Create the two other inner nodes */
	var tl = document.createElement('div');
	var br = document.createElement('div');
	/* Now glue the nodes back in to the document */
	tr.appendChild(tl);
	tl.appendChild(br);
	br.appendChild(original);
  }
}