/* $Id: hxml.css,v 1.4 2003/07/27 02:04:16 joe Exp $ */

/*
    #6000C0
    #DFBFFF
    #EFDFFF
*/

BODY {
    background-color:	#EFDFFF;
    margin: 10pt 10% ;
}

* { font-family:	sans-serif; }

DL {
    width:	100%;
}

OL,UL,DL,P,TD,TH, DIV.paragraph {
    font-family:	sans-serif;
    line-height:	1.5em ;
    margin:		2em 0em;
    color:		#333333;
}
H1,H2,H3,H4,H5,H6 {
    font-family: 	sans-serif;
    font-size:		large;
    color: 		#333355;
    background-color:	transparent;
}

H1.title {
    font-family: 	sans-serif;
    font-size:		x-large;
    background-color:	#6000C0;
    color:		#70FFFF;
    text-align:		center;
    width:		100%;
    border:             solid 1px #6000C0;
    margin:		1pt 1pt 10pt 1pt;
    padding:		0.2ex 1ex;
}

TT,SAMP {
    font-family:	sans-serif;
    font-weight:	bold;
}

P, DIV.PARAGRAPH {
    margin-top: 	4pt;
    margin-bottom: 	4pt;
    margin-left:	0pt;
    width:		100%;
}

EM {
    font-family: 	sans-serif;
    font-weight:	bold;
    font-style:		normal;
}

UL { list-style: disc; }
OL { list-style: decimal; }
LI { margin-top: 4pt; }
UL.toc { list-style: none; }

PRE {
    font-family:	monospace;
    white-space:	pre;
    width:		100%;
    margin-top:		10pt;
    margin-bottom:	10pt;
    padding-top:	0.5ex;
    padding-bottom:	0.5ex;
    padding-left:	1ex;
    padding-right:	1ex;
}

PRE.syntax {
    color:              black;
    background:         #80ffff;
    border:             1px solid black;
    font-family:	sans-serif;
}
PRE.example {
    color:              black;
    background:         #FFEFFF;
    border:             1px solid black;
}

PRE.listing {
    color:              black;
    background:         #EEEEEE;
    border:             1px solid black;
    font-family:	monospace;
}

/*EOF*/