html {overflow-y: scroll; height: 100%}

/* NOTE: overflow-y is CSS3; it doesn't work in Opera 9.2x and below, but it will work
	in Opera 9.5 and it works in all other modern browsers) */

div.nonFooter {position: relative; min-height: 100%}

* html div.nonFooter {height: 100%}

div#ScrollableContent {padding-top: 1px}


/* _______
Div styles
__________ */


div.Footer {position: relative; margin-top: -1.4em}

div.DocumentPage {margin-top: 96px}
/*	NOTE: the width is really 720px, but one has to subtract the padding and the
	width of the borders from the width one wants to end up with in order to obtain the
	width one needs to specify (except in the case of IE5.x, for which there is a
	seperate css file) */

img.TopOfPageIconsLeft {padding-top: 5px}
* html img.TopOfPageIconsLeft {margin-top: 6px}

img.TopOfPageIconsCentre {padding-top: 4px}
* html img.TopOfPageIconsCentre {margin-top: 5px}
	
img.TopOfPageIconsRight {padding-top: 9px}
* html img.TopOfPageIconsRight {margin-top: 10px}


div.BelowDocSpacer {padding-bottom: 21px}


/* _________
List styles
____________ */

ul.TopOfPageIcons {margin-bottom: -90px}

* html ul.TopOfPageIcons {margin-top: 46px; margin-bottom: -90px}

/* __________
Anchor styles
_____________ */

a#Top {display: block; margin-top: -1.5em; padding-top: 1.5em}