h1.navigation   {color: darkred; font-family: times; font-size: 18pt;
		font-style: italic; font-weight: bold; margin-bottom: 0pt}

a.navigation	{color: darkgreen; font-family: times; font-size: 14pt}

a.index		{margin-left: 40pt; color: darkgreen}


body		{text-align: justify; font-size: 12pt;
		background-color: linen; margin-left: 20; margin-right:20}

h1, h2, h3, h4, h5	{text-align: left; color: darkred; font-weight: bold;
		padding-bottom: 10pt}
h1		{font-size: 20pt} 

h2		{font-size: 18pt} 

h3		{font-size: 14pt; font-style: italic}

h2		{font-size: 14pt} 

div.text	{font-size: 12pt; padding-left: 3em; padding-right: 1em; 
		padding-bottom: 5pt; border-bottom-width: 4pt; 
		border-right-width: 4pt; margin-right: 10pt; 
		margin-bottom: 4pt; 
		border-style: groove; background-color: #ccbb99;
		color: black; text-align: justify; font-style: italic; 
		padding-top: 5pt}

p	      	{color: black;	text-indent: 30}

ol, ul, dl      {margin: 20}
em, b,tt  	{color: purple}

pre		{margin-left: 20}