var $ = document; // shortcut
var cssId = 'w3c_hack';  // you could encode the css path itself to generate id..
if (!$.getElementById(cssId))
{
    var head  = $.getElementsByTagName('head')[0];
    var link  = $.createElement('link');
    link.id   = cssId;
    link.rel  = 'stylesheet';
    link.type = 'text/css';
    link.href = '083/083-nonie.css';
    link.media = 'all';
    head.appendChild(link);
}