// Javascript setting presentation styles, mangled beyond recognition from
// developer.netscape.com/docs/technote/javascript/prestemp/prestemp.html
// Slides should load slide.js in the section, header.js at the
// beginning of the section, and footer.js at the end of the
// section.
// base size (multiply by scale for other sizes)
var baseWidth = 1024;
var baseHeight= 768;
var baseFontSize = 50;
var baseFontUnits = 'px';
var bodyMargin = 108;
var titleHeight = 175;
// derived values
var xsize = baseWidth;
var ysize = baseHeight;
var xscale = xsize/baseWidth;
var yscale = ysize/baseHeight;
var scale = yscale;
// put up slide title
document.write('',slidetitle,'\n');
//////////////////////////////////////////////////////////////////////
// browser type
// This is a simplified version of the JavaScript Client Sniffer code
// (http://developer.nextscape.com/docs/examples/javascript/browser_type.html)
function Is ()
{ // convert all characters to lowercase to simplify testing
var agt=navigator.userAgent.toLowerCase();
// --- BROWSER VERSION ---
this.major = parseInt(navigator.appVersion);
this.minor = parseFloat(navigator.appVersion);
this.nav = ((agt.indexOf('mozilla')!=-1) &&
((agt.indexOf('spoofer')==-1) &&
(agt.indexOf('compatible') == -1)));
this.nav2 = (this.nav && (this.major == 2));
this.nav3 = (this.nav && (this.major == 3));
this.nav4 = (this.nav && (this.major == 4));
this.ie = (agt.indexOf("msie") != -1);
this.ie3 = (this.ie && (this.major == 2));
this.ie4 = (this.ie && (this.major == 4));
this.opera = (agt.indexOf("opera") != -1);
this.nav4up = this.nav && (this.major >= 4);
this.ie4up = this.ie && (this.major >= 4);
}
var is = new Is();
//////////////////////////////////////////////////////////////////////
// general scaling
function setStyle()
{
// determine appropriate font scaling factor
xsize = window && window.innerWidth ? window.innerWidth :
document.body && document.body.clientWidth ? document.body.clientWidth:
screen && screen.width ? screen.width :
baseWidth;
ysize = window && window.innerHeight ? window.innerHeight :
document.body && document.body.clientHeight?document.body.clientHeight:
screen && screen.height ? screen.height :
baseHeight;
xscale = xsize/baseWidth;
yscale = ysize/baseHeight;
scale = yscale;
if (xscale < yscale) scale = xscale;
// modify sizes with scale
baseFontSize = parseInt(baseFontSize*scale);
bodyMargin = xscale*bodyMargin;
titleHeight = yscale*titleHeight;
//////////////////////////////////////////////////////////////////////
// set style
// document.write seems more portable than javascript access for this
document.write('\n');
}
// IE: no size info til body, but (incorrectly) can set styles there
if (! is.ie) setStyle();