body { 
	color: darkblue;
	background-color: #f0f0f0;
	background-image : url(image/back.png);
	margin-top: 20pt
	margin-bottom: 20pt;
	margin-left: 15pt;
	margin-right: 15pt;
}
A:link		{text-decoration: underline;color:blue;font-family:Osaka,Ariel}
A:visited	{text-decoration: underline;color:#ff0000;font-family:Osaka,Ariel}
a:active	{text-decoration: underline;color:#ff0000;font-family:Osaka,Ariel}
A:hover		{text-decoration: underline;color:green;background=#ffffff;font-family:Osaka,Ariel}

p	{ margin-left: 25pt;line-height: 140% }
table	{ margin-left: 15pt;
	border-color: orange white orange white }
hr	{ width: 80%}
td	{ vertical-align: top}

.center	{ text-align: center}
.right	{ text-align: right}
.key	{ color: #FF4500}
.example	{ margin-left: 50pt}
.title	{ color: yellow; background-color: #666666; clip: rect( ); padding-left: 5pt}
.head	{ width: 100%;
	height: 3pt }
.cf	{ border-style: dashed;
	border-width: 2pt 1pt 2pt 1pt }
.full	{ width: 100%}