img.displayed 
	{
		display: block;
		margin-right: 10px;
		margin-bottom: 3em;
		margin-top: 3em;
		margin-left: 2em;
		float: right;
		padding-top: 0.3em;
	}

a:hover {
			color: blue;
			text-decoration: none;
			background-color: #FFFF50;
			border: none;
	}	

a:link  {
			text-decoration: none;
	}

a:visited {
			text-decoration: none;
	  }

hr
{
	margin-top: 15em; 
}
p 
{ 
	width: 90% ; 
	font-family: arial, serif;
	font-size: 13pt;
}
p.menu
{
	font-family: sans-serif;
	font-size: 10pt;
}
h1
{
	font-family: arial ; 
	font-size: 30pt;
}

ul
{
	font-family: times ;
	font-size: 14pt ;
}
li
{
	font-family: times ;
	font-size: 12pt ; 
}

div.code
{
	padding-top: 1em;
	padding-bottom: 1em;
	padding-left: 1em;
	padding-right: 0px ;
	border: thin dashed blue; 
	font-family: sans-serif;
	font-size: 12pt;
}

div.figure { 
	float: right;
	width: 30% ; 
	display: inline; 
	border: thin blue solid;
	/*margin: 0.5em;*/
	margin-left: 2em;
	margin-right: 0.5em; 
	margin-bottom: 5em;
	padding: 0.5em;
}

div.figure p {
	text-align:center;
	font-style: italic;
	font-size: smaller;
	text-indent: 0;
		} 

a.nostyle
{
	background-color: white
}