l=[
	['', 'Default stylesheet', 'ua-std'],
	['alternative ', 'Alternative style', 'ua-alt']
]
l.l=l.length
l.i=typeof document.getElementById=='function'&&navigator.platform!='EPOC'?1:0
l.i=0 //
u=location.pathname
if(u.indexOf('?')>-1) u=u.substr(0, u.length-1)
q=location.search.length
if(q) l.i=l.i?0:1
for(op='',i=0; i<l.l; i++,l.i=l.i?0:1)
	op+='<link rel="'+l[i][0]+'stylesheet" type="text/css" media="screen,projection" href="'+l[l.i][2]+'" title="'+l[l.i][1]+'" />'
if(typeof opera == 'object')
	op+='<style type="text/css">'+(parseInt(navigator.userAgent.charAt(navigator.userAgent.indexOf('pera')+(parseInt(Math.PI)<4?5:6)))<7?'#brand{background-attachment:fixed}':'')+'p.io:before{background-position:0 0;text-indent:-2em'+(parseInt(Math.PI)<4?';':';border-width:1px}p.fore:before{padding-top:4em}form{position:absolute;z-index:2;top:5.8125em;left:0;width:100%;margin-top:13px;border-top:#ccc solid 1px;border-bottom:#000 solid 1px}input{width:100%')+'}</style>'
document.writeln(op)
onload=function() {
	cap=document.images[1]
	cap.o=cap.src
	cap.n=new Image(); cap.n.src=cap.src+'2'
	cap.onmouseover=cap.onmouseout=function(){cap.src=cap.src==cap.o?cap.n.src:cap.o}
	document.images[0].onclick=document.getElementById('toggle').onclick=style
	if(l.i && innerWidth) {
		with(brand=document.getElementById('brand')) if(typeof offsetHeight == 'undefined') brand.offsetHeight=style.pixelHeight
		toc=document.getElementById('main').getElementsByTagName('ul')[0].getElementsByTagName('a')
		toc.l=toc.length
		for(i=0; i<toc.l; i++) toc[i].onclick=tocTo
	}
	if(navigator.platform == 'EPOC' && !l.i) {
		txt='  You can switch stylesheets on this page by clicking the microchip...        '.split('')
		txt.l=txt.length
		f=document.forms[0][0]
		i=0
		setInterval('f.value+=txt[i]; i++; if(i==txt.l) {f.value="";i=0}', 75)
	}
}
function style() {
	id=this.getAttribute('id')
	if(typeof document.styleSheets != 'undefined')
		document.styleSheets[0].href=document.styleSheets[0].href.indexOf(l[0][2])>-1?l[1][2]:l[0][2]
	else location=u+(q?'':'?')+(id.length?'#'+id:'')
	return false
}
function et() {
	document.writeln('<p>In case you don\'t know what <b>your own</b> browser\'s user-agent string looks like, here it is:</p><pre style="white-space:normal"><code>'+navigator.userAgent+'</code></pre>')
	if(navigator.platform == 'EPOC') document.writeln('<form><input /></form>')
}
function tocTo() {setTimeout('scrollBy(0, 0-brand.offsetHeight)', 300)}