h1 { margin-top: 0.8em ; margin-bottom: 0.8em ; font-size: 28px  }
h2 { margin-top: 0.8em ; margin-bottom: 0.6em ; font-size: 24px  }
h3 { margin-top: 0.8em ; margin-bottom: 0.4em ; font-size: 20px  }
h4 { margin-top: 0.8em ; margin-bottom: 0.4em ; font-size: 16px  }
h5 { margin-top: 0.8em ; margin-bottom: 0.4em ; font-size: 14px  }
h6 { margin-top: 0.8em ; margin-bottom: 0.4em ; font-size: 14px  }
p { margin-top: 0.4em ; margin-bottom: 0.4em }
ul { margin-top: 0.2em ; margin-bottom: 0.6em }
ol { margin-top: 0.2em ; margin-bottom: 0.6em }
pre
{
	font-family: Lucida Console, Monaco, Courier, monospace ;
	color: #000000 ;
	background-color: #e6f4ff ;
	border: 1px solid ;
	border-color: #cfdbe5 ;
	padding: 3pt ;
	margin-top: 1.0em ;
	margin-bottom: 1.0em
}
cite { font-weight: bold }
code { font-weight: bold }
.BeAware
{
	color: #000000 ;
	background-color: #f0f4ff ;
	border: 2px outset ;
	padding: 5pt ;
	margin-top: 1.0em ;
	margin-bottom: 1.0em
}
.Warning
{
	color: #000000 ;
	background-color: #ffe0e0 ;
	border: 2px outset ;
	padding: 5pt ;
	margin-top: 1.0em ;
	margin-bottom: 1.0em
}
.Note
{
	border: 1px solid ;
	border-color: #fff0c0 ;
	background-color: #fffff0 ;
	padding: 3pt ;
	margin-top: 1.0em ;
	margin-bottom: 1.0em
}
.Hint
{
	border: 1px solid ;
	border-color: #ffe0c0 ;
	background-color: #fff0e8 ;
	padding: 3pt ;
	margin-top: 1.0em ;
	margin-bottom: 1.0em
}
.Explain 
{
	background-color:#ffe8ff ; 
	border-left: 1cm solid #FFFFFF ; 
	border-right: 1cm solid #FFFFFF ; 
	margin-top: 1.0em ;
	margin-bottom: 1.0em
}
dl.Syntax { background-color: #ffffff ; border: 0px ; padding-bottom: 5px ; }
dl.Syntax dt { font-size: 90% ; padding-left: 5px ; padding-right:5px ; padding-top: 5px ; }
dl.Syntax dt.SubDesc { font-size: 100% ; background-color: #e0f0ff ; padding-top: 1px ; padding-bottom: 2px ; }
dl.Syntax dd { text-align: left ; padding-right: 10px ;}
dl.Syntax dd.ItemNote { font-size: 90% ; background-color: #FFF0D0 ; padding-left: 20px ; padding-right: 20px ; }
dl.Syntax dd.Jump
{
	float: right ; 
	font-size: 90% ;
	background-color: #ffffff ;
	padding-left: 5px ;
	padding-right: 5px ;
	border: 0px ;
}