function roundCorners() {
    c = document.getElementById('content');
    
    tl = document.createElement('div');
    tl.className = 'corner tl';
    c.appendChild(tl);
    
    tr = document.createElement('div');
    tr.className = 'corner tr';
    c.appendChild(tr);
    
    bl = document.createElement('div');
    bl.className = 'corner bl';
    c.appendChild(bl);
    
    br = document.createElement('div');
    br.className = 'corner br';
    c.appendChild(br);
    
    // round the corners of the "current" link section
    currentClass = document.body.className.split(' ')[0];
    sel = "#links li." + currentClass;
    li = document.getElementsBySelector(sel)[0];
    
    tl = document.createElement('div');
    tl.className = 'corner tl';
    li.appendChild(tl);
    
    bl = document.createElement('div');
    bl.className = 'corner bl';
    li.appendChild(bl);
}

function fixHeight() {
    var e = document.getElementById('content');
    var eh = Math.max(e.scrollHeight, e.offsetHeight, document.body.scrollHeight, document.body.offsetHeight);
    e.style.height = eh + 'px';
}

window.onload = function() {
    if (document.getElementById && document.createElement) {
        roundCorners();
        fixHeight();
    }
}