BODY {

	background: #ffe;

/*	background-color:  #e4e8dc; */  /* Honeydewtab; */

}



H1{

	background: url(../images/008.gif);

}



SPAN.abbr{

	font-variant: small-caps;

}



SPAN.fin{

	font-family: serif;

	font-style: italic;

}



PRE.example {

/*        font-size: large */

	line-height: 120%;

	background: #d8e0d0;

	margin: 1em 0.5em 1.5em 10%;

/*	padding: 0.5em; */

/*	border: thin outset Honeydewtab; */ /* #d8e0d0; */

}



PRE.exm_ftn{

	line-height: 100%;

	background: #d8e0d0;

	margin: 0em 0.5em 0em 10%;

}



DIV.contents{

	margin: 1em 1.5em 3em 10%;

	background: #d8e0d0;

	line-height: 150%;

/*	text-align: left; */

	padding: 1.5em 0.5em;

	border: thick none;

	border-style: dashed none;

	border-color: #008;

}



DIV.TABLE {

	margin: 1.5em 1em 1.5em 10%;

	background: #d8e0d0;

	line-height: 150%;

	text-align: center;

	padding: 0.5em;

	border: thin outset Honeydewtab; /* #d8e0d0; */

}