body, a, h1, h2, h3, h4 { 
  font-family: 		Helvetica,Arial,sans-serif; 
  text-decoration: 	none;
  color:		black;
  text-align:	        justify;
}

h1, h2, h3, h4 { 
  margin-top: 0em;
  margin-bottom: 0.1em;
  text-align: left;
  color: #3333FF;
}

body { 
  background-color:     white;

}

div.clear { 
  clear: both;
 }

div.goBack{ 
  float: right;
  padding: 0.1em;
  margin:  0.2em;
  border: 1px solid #3333ff;
  background-color: white;
}

a.goBack, a.goBack:visited { 
  color: #3333ff;
  background-color: white;
}

a.goBack:hover, a.goBack:visited:hover { 
  background-color:	#3333ff;
  color:		white;
}

div.navbar {
  float:	left;
  padding-right:.5em;
  padding-left:	.5em;
  padding-top:	1em;	
  text-align:	center;
  width:	150px;
  background-color: white;
}


.ldescr {
  margin-right:		120px;
}

.rdescr {
  margin-left:		120px;
}

.mi { 
  width:	120px;
  text-align:	center;
  display:	block;
  font-weight:		bold;
  font-family: 		Helvetica,Arial,sans-serif; 
  margin-bottom:		.5em;
  border-top:			1px solid black;
  border-left:		1px solid black;
  color:				black;
  background-color:	white;
  padding-left:		.5em;
  padding-right:		.5em;
}

a.external:hover, a.external:visited:hover, a.subtopic:hover, .mi:hover { 
  background-color:	#3333ff;
  color:		#eeeeee;
}

div.content, div.fullContent {
  color:	black;
  background-color: #eeeeee;
  padding:	1em;
  margin-bottom: 0.5em;
}

div.content, div.menu {
  margin-left: 	180px;
}

dl {
  font-style: italic;
}

div.menu, div.fullMenu { 
  padding-top:    0.5em;
  padding-bottom: 0.5em;
  margin-top:     0.5em;
  margin-bottom:  0.5em;
  background:  #eeeeee;
  text-align:  center;
}

a.external, a.external:visited {
  color:		#3333ff;
  background-color:	#eeeeee;
}

/** Style of images */

img {
  border: 1px solid gray;
}

img.rphoto {
  float:	left;
  margin-right:	1em;
  margin-bottom:1em;
}

img.lphoto {
  float:	right;
  margin-left:	1em;
  margin-bottom:1em;
}


/** Footer of the document */

.footer {
	padding-right:		.1em;
	padding-left:		.1em;
	padding-top:		.5em;
	padding-bottom:		.5em;
	border-top:			1px solid black;
	color:				black;
	background-color: 	#eeeeee;
	clear: 				both;
}

img.w3c {
	float:			right;
  border: 0px;
	vertical-align:		middle;
}
/** Style for bibliography */

.author, .title, .journal, .publinks {
	margin-left:		1em;
}

.publinks {
	margin-bottom:		1em;
}

.journal {
	font-style:			italic;
}