.height130-10pt	{
				line-height: 130%;
				font-size:10pt;
				}
.height160-11pt	{
				line-height: 160%;
				font-size:11pt;
				}
.height130-11pt	{
				line-height: 130%;
				font-size:11pt;
				}
a.menu			{
				font-size:10pt;
				font-weight:bold;
				color:#ffffff;
				}
a:hover			{
				text-decoration:underline;
				color:#CC0000;
				}
a:visited		{
				text-decoration:underline;
				color:#555555;
				}
a.text			{
				color:#333333;
				}
.search			{
				font-size: 10px
				}
td.history		{
				font-size:70%;
				}
td.menu			{
				font-size:10pt;
				font-weight:bold;
				color:#ffffff;
				}
div.top			{
				text-align:right;
				}
td.top			{
				text-align:right;
				font-size:70%;
				}
.bodytext			{
				font-size:12px;
				line-height: 160%;
				}
.title			{
				font-size:16pt;
				line-height: 160%;
				font-weight : bold;
				}
.author			{
				font-size:10pt;
				line-height: 160%;
				}
.chapter			{
				font-size:11pt;
				line-height: 160%;
				font-weight : bold;
				}
.chapterhead		{
				font-size:11pt;
				line-height: 160%;
				font-weight : bold;
				color:  #a41822;
				}
.section			{
				font-size:9pt;
				line-height: 160%;
				font-weight : bold;
				}
.pictureexplain		{
				font-size:8pt;
				line-height: 135%;
				color:  #333333;
				}

.height160-10pt	{
				line-height: 150%;
				text-justify: auto;
				}
.height150	{
				line-height: 150%;
				}
.height130	{
				line-height: 130%;
				}
.text7pt		{
				font-size:7pt;
				line-height: 130%;
				}
.text8pt		{
				font-size:8pt;
				line-height: 130%;
				}
.text9pt		{
				font-size:9pt;
				line-height: 130%;
				}
.text10pt		{
				font-size:10pt;
				line-height: 130%;
				}
.text11pt		{
				font-size:11pt;
				line-height: 130%;
				}
.text12pt		{
				font-size:12pt;
				line-height: 130%;
				}