body		{
		background-color:		#f0e68c;
		margin:				0px;
		padding:			1ex;
		padding-top:			5ex;
		border:				0px red solid;
		text-align:			justify;
}

a.menu,a.menu:link,a.menu:visited,a.menu:active {
		 font-family:			serif;
		 font-size:			100%;
		 color:				blue;
		 text-decoration:		none;
		 }
		 
a.menu:hover
		{
		text-decoration:		underline;
		}
		

a.noul,a.noul:visited,a.noul:link,a.noul:active {
		text-decoration:	none;
		color:			red;
	}
a.noul:hover {
		text-decoration:	underline;
	}
li		{
/*		list-style-position:	 	inside; */
		margin-top:		1ex;
		}

dt		{
		margin-top:		1ex;
		}
		
img		{
		border:				0px;
		}
		
#mainmenu	{
		font-family:		serif;
		border-bottom:		1px black solid;
		padding:		0px;
		margin-left:		0px;
		position:		absolute;
		background-color:	#d0d0d0;
		top:			0px;
		left:			0px;

}

.logo		{
		font-family:		serif;
		font-weight:		bolder;
		font-size:		200%;
		text-align:		center;
		font-variant:		small-caps;
		/*font-stretch:		condensed;*/
		border-right:		1px solid black;
		padding-right:		1ex;
		padding-left:		1ex;
		/*padding-top:		1ex;
		padding-bottom:		1ex;
		vertical-align:		middle;*/
}

.menuheading	{
		font-weight:		bold;
		border-right:		1px solid black;
		padding-left:		1ex;
		/*padding-right:		1ex;
		padding-bottom:		1ex;*/
}

#submenu	{
	float:		right;
	border:		1px solid red;
	padding:	1ex;
}



#leftbottom	{
		float:			left;
		font-size:		70%;
		font-style:		italic;
		border-top:		1px solid black;
}

#uparrow	{
		height:			2em;
		padding-top:		2px;
		float:			left;
		border-style:		none;
}

.extlogos	{
		float:			left;
		padding-left:		10px;
}

#google		{
		background-color:	white;
		border:			1px black solid;
}

p	{
	margin-top:		0px;
}

.abstract	{
	font-size:		80%;
}
.abstracth {
	font-weight:		bold;
	text-align:		center;
	margin-bottom:		1ex;
}
.abstractp {
	margin-bottom:		1ex;
}

/* div like p */
.p {
	margin-bottom:		1ex;
}