// procs for inner pages, to be loaded inside body


// set up master div for indentation
// margin on body is 20px

var bodywid=getInsideWindowWidth()-40;
var divmainwid=bodywid;
if(divmainwid>550)divmainwid=550;

var divmainpadding=(bodywid-divmainwid)/2;

document.write("<style>");
document.write("div.divmain{padding-left: " + divmainpadding + "px;");
document.write(" padding-right: " + divmainpadding + "px;}");
document.write("</style>");