BODY {
	background-color: #FFFFFF;
	color:            black;
}

A:link { color: #0000FF; }
A:active { color: #00FFFF; }
A:visited { color: #0000DD; }



H1 {
        border-width:   0pt;
        border-bottom-width: 3pt;
        border-color:   #0000BB;
        border-style:   solid;
        margin-left:    10pt;
        margin-right:   10pt;
        padding:        3pt;
        color:          #008800;
        font-size:      24pt;
        font-family:    Arial, Helvetica;
}

H2 {
        border-width:   0pt;
        margin-left:    15pt;
        margin-right:   15pt;
        padding:        3pt;
        color:          #AA0000;
        font-size:      16pt;
        font-family:    Arial, Helvetica;
}

H3 {
	border-width:	0pt;
	margin-left:	20pt;
	margin-right:	20pt;
	padding:	3pt;
	color:		black;
        font-size:      13pt;
	font-family:	Arial, Helvetica;
}



P {
        margin-left:	30pt;
        margin-right:	30pt;
	color:		black;
	text-align:	justify;
}

P.header {
        margin-left:	10pt;
        margin-right:	10pt;
	color:		black;
}

P.note {
        margin-left:	50pt;
        margin-right:	50pt;
	color:		#AA0000;
	text-align:	justify;
}


HR {
	width:		80%;
}



PRE.filecontent  {
        margin-left:	40pt;
        margin-right:	40pt;
        text-align:     left;
        color:          #000077;
        font-size:      12pt;
        font-family:    Courier New, Courier, monospace;
}

PRE.shell {
        margin-left:	40pt;
        margin-right:	40pt;
        text-align:     left;
        color:          #000077;
        font-size:      12pt;
        font-family:    Courier New, Courier, monospace;
	font-style:	italic;
}

PRE.shelloutput  {
        margin-left:	40pt;
        margin-right:	40pt;
        text-align:     left;
        color:          #000055;
        font-size:      12pt;
        font-family:    Courier New, Courier, monospace;
}



FONT.command {
	font-family:	Courier New, Courier, monospace;
	color:		#888800;
}

FONT.device {
	font-family:	Courier New, Courier, monospace;
	font-size:	14pt;
	font-style:	italic;
	color:		#00BB00;
}
	
FONT.file {
	font-style:	italic;
	color:		#00BB00;
}

FONT.filecontent {
	font-family:	Courier New, Courier, monospace;
        font-size:      14pt;
	font-style:	italic;
}

FONT.flag {
	font-family:	Courier New, Courier, monospace;
}

FONT.key {
	font-style:	italic;
}

FONT.man {
	font-style:	italic;
	font-weight:	bold;
}

FONT.menu {
	font-style:	italic;
	color:		#BB0000;
}

FONT.misc {
	font-style:	italic;
	color:		#BB0000;
}

FONT.program {
	font-family:	Courier New, Courier, monospace;
	color:		#888800;
}

FONT.protocol {
	font-style:	italic;
}
	
FONT.value {
	font-style:	italic;
}

FONT.var {
	font-style:	italic;
}



UL {
        margin-left:	20pt;
        margin-right:	20pt;
}