/* Fonts */

*
	{ line-height: 1.25; font-size: 100%; font-family: "bitstream vera sans", "dejavu sans", verdana, sans-serif; }

PRE, CODE, TEXTAREA, *.monospace, *.filename
	{ font-family: "courier 10 pitch", "courierps", "courier new", monospace; }


/* Basic formatting... */

BODY	{ margin: 0em; border: 0em; padding: 0em; }

H1		{ font-size: 1.72em; margin-top: 0.87em; margin-bottom: 0.44em; font-weight: bold; }
H2		{ font-size: 1.44em; margin-top: 1.04em; margin-bottom: 0.52em; font-weight: bold; }
H3		{ font-size: 1.20em; margin-top: 1.25em; margin-bottom: 0.63em; font-weight: bold; }
H4		{ font-size: 1.00em; margin-top: 1.50em; margin-bottom: 0.75em; font-weight: bold; }
H5		{ font-size: 1.00em; margin-top: 1.50em; margin-bottom: 0.75em; font-weight: bold; }
H6		{ font-size: 1.00em; margin-top: 1.50em; margin-bottom: 0.75em; font-weight: bold; }

H1				{ text-align: center; }
H1.small		{ font-size: 1.00em; margin-top: 1.50em; margin-bottom: 0.75em; }
H2				{ padding-top: 1.04em; border-top: solid 1px; margin-top: 0.52em; }
H2.norule		{ padding-top: 0em;    border-top: none 0px;  margin-top: 1.04em; }

P				{ margin: 0.75em 0em; }
PRE				{ margin: 0.75em 1.5em; }

UL, OL, DL		{ margin: 0.75em 0em 0.75em 1.5em; padding: 0em; }
LI UL, LI OL	{ margin-top: 0.5em; margin-bottom: 0.5em; }
LI				{ margin: 0.25em 0em; }
UL				{ list-style-type: disc; }
UL UL			{ list-style-type: circle; }
DT				{ margin: 0.75em 0em 0.25em 0em; font-weight: bold; }
DD				{ margin: 0.25em 0em 0.25em 1.5em; }
DD UL, DD OL	{ margin-top: 0.5em; margin-bottom: 0.75em; }

IMG				{ margin: 0px; padding: 0px; border: 0px; }

HR				{ width: 100%; margin: 1em 0em; }

/* Class specific layout... */

P.small				{ font-size: 0.8em; margin-top: 0.9375em; margin-bottom: 0.9375em; }
P.subtitle			{ font-size: 0.8em; margin-top: -0.625em; margin-bottom: 0.9375em; text-align: center; }
P.illustration		{ margin-left: 1.5em; margin-right: 1.5em; } 
P.illustration IMG	{ vertical-align: text-bottom; }

DIV.index		{ text-align: center; }
UL.toc			{ list-style-type: none; text-align: left; margin: 0em auto; }
UL.toc UL		{ list-style-type: none; }

DIV.sub-toc			{ padding: 1em; }
DIV.sub-toc H2		{ font-size: 1.25em; margin-top: 0em; margin-bottom: 0.60em; font-weight: bold; }
DIV.sub-toc H2		{ padding-top: 0em; border-top: none 0px; } /* Remove line previousely set above H2 */

/* For navbar... */

DIV.navbart				{ margin: 0em 0em 1.5em 0em; border-bottom: solid 1px; }
DIV.navbart-empty		{ margin: 0em 0em 1.5em 0em; border-bottom: solid 1px; padding: 0em 0em 2em 0em; }
DIV.navbarb				{ margin: 1.5em 0em 0em 0em; border-top: solid 1px; }
DIV.navbarb-empty		{ margin: 1.5em 0em 0em 0em; border-top: solid 1px; padding: 2em 0em 0em 0em; }
DIV.navbart *,  DIV.navbarb *	{ line-height: 1; } 
DIV.navbart UL, DIV.navbarb UL	{ text-align: center; margin: 0em; padding: 0.5em 0em; }
DIV.navbart LI, DIV.navbarb LI	{ display: inline; list-style-type: none; margin: 0em 0em 0em 0.5em; }
DIV.navbart HR, DIV.navbarb HR	{ display: none; }

P.valid					{ margin: -2em 0em 0em 0em; text-align: right; float: right; position: relative; right: -5px; }
P.valid IMG				{ padding-top: 1px; vertical-align: text-bottom; } 

DIV.redirect			{ background: yellow; padding: 0.5em 1em; margin: 0.75em 0em; }

/* For forms... */

FORM DIV			{ margin: 0.75em 1.5em; }
INPUT, TEXTAREA		{ margin: 0.25em 0em; }
*.input-text		{ width: 100%; }

/* Used for centering content... */

.width13	{ width: 13em; position: relative; left: 1.3em; }
.width17	{ width: 17em; position: relative; left: 1.7em; }
.width22	{ width: 22em; position: relative; left: 2.2em; }
.width24	{ width: 24em; position: relative; left: 2.4em; }
.width25	{ width: 25em; position: relative; left: 2.5em; }
.width27	{ width: 27em; position: relative; left: 2.7em; }
.width37	{ width: 37em; position: relative; left: 3.7em; }

/* Use max-width instead on browsers which support CSS2... */
*[class~=width13]	{ width: auto; max-width: 13em; }
*[class~=width17]	{ width: auto; max-width: 17em; }
*[class~=width22]	{ width: auto; max-width: 22em; }
*[class~=width24]	{ width: auto; max-width: 24em; }
*[class~=width25]	{ width: auto; max-width: 25em; }
*[class~=width27]	{ width: auto; max-width: 27em; }
*[class~=width37]	{ width: auto; max-width: 37em; }


/* Colours... */

*			{ background: transparent; }
BODY		{ background: white; color: black; }
A:link		{ color: blue; }
A:visited	{ color: purple; }
A:active	{ color: red; }
LI.inactive	{ color: #c0c0c0; }

A:link:hover												{ background: #e0e0ff; }
A:visited:hover												{ background: #ffe0e0; }
P.valid A:link:hover, P.valid A:visited:hover				{ background: transparent; }

FORM					{ border: 1px solid #c0c0c0; }
INPUT.button			{ background: #f0f0f0; border: 2px outset #c0c0c0; }

PRE						{ padding: 0.5em; }
PRE, DIV.sub-toc,
*.input-text			{ background: #f0f0f0; border: 1px solid #c0c0c0; }

H2,
DIV.navbart,
DIV.navbart-empty,
DIV.navbarb,
DIV.navbarb-empty		{ border-color: #c0c0c0; }

/* Media specific layout... */

@media screen
	{
	HTML		{ background: #e0e0e0; color: black; overflow-y: scroll; }
	BODY		{ width: 880px; margin: 1em auto; padding: 0em 2em; }
	/* Use max-width instead on browsers which support CSS2... */
	HTML>BODY	{ width: auto; max-width: 880px; }
	}

@media print
	{
	BODY { margin: 0em auto; }
	DIV.navbart, DIV.navbarb { display: none; }
	DIV.navbart-empty, DIV.navbarb-empty, P.valid { display: none }
	A:link, A:visited { background: white; color: black; text-decoration: none; }
	}

@media handheld
	{
	BODY { margin: 0em; }
	* { line-height: 1.1; }
	DIV.navbart-empty, DIV.navbarb-empty, P.valid { display: none }
	.width13	{ padding-left: 0em; }
	.width17	{ padding-left: 0em; }
	.width22	{ padding-left: 0em; }
	.width24	{ padding-left: 0em; }
	.width25	{ padding-left: 0em; }
	.width27	{ padding-left: 0em; }
	.width37	{ padding-left: 0em; }
	}


/*
Testing...
P, PRE { background: yellow; }
LI { background: cyan; }
LI LI { background: magenta; }
H1, H2, H3, H4, H5, H6 { background: red; }
UL { background: blue; }
*/