//Make the rounded corners, well..., rounded.
function makeRounded() {
    //return;
	//rounded grey
    var all = document.getElementsByTagName("*");
    for(var i=all.length-1; ele=all[i],i>0; i--) {
        if(ele.className && ele.className.match(/(\s|^)rounded-grey(\s|$)/i)) {
            var inner = ele.innerHTML;//Or do it using DOM.
            ele.innerHTML = "<div class='wrapper1'><div class='wrapper2'>"
                    + "<div class='wrapper3'><div class='wrapper4'>"
                    + inner    + "</div></div></div></div>";
        }
    }
    
	//rounded dark grey
    var all = document.getElementsByTagName("*");
    for(var i=all.length-1; ele=all[i],i>0; i--) {
        if(ele.className && ele.className.match(/(\s|^)rounded-darkgrey(\s|$)/i)) {
            var inner = ele.innerHTML;//Or do it using DOM.
            ele.innerHTML = "<div class='wrapper1'><div class='wrapper2'>"
                    + "<div class='wrapper3'><div class='wrapper4'>"
                    + inner    + "</div></div></div></div>";
        }
    }	
	
}
//Notice that we don't call it onload anymore, instead it's called from an inline script at the bottom of the page, which makes the rounded corners
//being applied instantly, instead of waiting for onLoad (Which means wait for all content, incl. images being loaded)
//window.onload=makeRounded;