a.plain   { text-decoration: none }
a:link    { text-decoration: none }
a:active  { text-decoration: none }
a:visited { text-decoration: none }
a:hover   { text-decoration: underline; }

/* general markup */
div, h1, h2, h3, h4, h5, p, td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}


/* images have *no borders*, even if they link somewhere */
img {
	border: 0px;
}

p {
	PADDING-RIGHT: 2px;
	PADDING-LEFT: 2px;
	FONT-SIZE: 14px;
	PADDING-BOTTOM: 0px;
	PADDING-TOP: 0px;
}



/* THE WHOLE LEFT PART */
.menuFrame {
	position: absolute;
	top: 10px;
	left: 8px;
	float: left;
	width: 168;
	max-width: 168;
}

.menuFrame div.center {
	padding-top:10px;
	padding-bottom: 10px;
}

/* A MENU INSIDE THE MENUFRAME, will be boxed with visual border */
.menuElement {
	border: 1px solid #000000;
	margin: 0px;
    margin-bottom: 10px;
	background-color: #f7ebde;
	padding: 0px;
	font-size: 12px;
}

.subMenuTitle {
    padding-bottom: 2px;
	padding-left: 1px;
	padding-top: 1px;
	FONT-WEIGHT: bold;
	FONT-SIZE: 12px;
	COLOR: #7F4300;
	BACKGROUND-COLOR: #E7DBCE;
	TEXT-DECORATION: none;
	border-top: 1px dotted #EAD2BE;
	border-right: 1px none #EAD2BE;
	border-bottom: 1px dotted #EAD2BE;
	border-left: 1px none #EAD2BE;
}

.menu1, .menu2 {
	list-style: none;
	margin: 0px;
	padding: 0px;
}

.menu1 {
}

.menu2 {
    padding-top: 2px;
    padding-left: 15px;
    padding-bottom: 15px;
	FONT-SIZE: 12px; COLOR: #000000; 
    BACKGROUND-COLOR: #F7EBDE
}

.menu2 a {
	FONT-WEIGHT: bold; COLOR: #000000; 
    TEXT-DECORATION: none
}
.menu2 a:hover {
	TEXT-DECORATION: underline
}

/* A div that wraps around all of the content */
.contentFrame {
	position: absolute;
	top: 10px;
	left: 185px;
	
	float: left;
	border: 1px solid #000000;
    FONT-SIZE: 14px;
	background-color: #eeeef2;
	width: 598px;
	
	padding-top: 0px;
	padding-bottom: 0px;
}

/* a div that wraps around a single peace inf content - an element inside 
the content tag */

.contentElement {
}

/* A heading inside a contentElement */
.contentElement h1 {
	font-weight: bold;
	font-size: 16px;
	font-variant: small-caps;
	color: #7F4300;
	background-color: #E0E0E8;
	text-decoration: none;
	border-top: 1px dotted #999999;
	border-right: 1px none #999999;
	border-bottom: 1px dotted #999999;
	border-left: 1px none #999999;
	
	padding-top: 9px;
	padding-left: 8px;
	padding-bottom: 10px;
	margin-top: 0px;
}

.contentElement h2 {
	font-weight: bold;
	font-size: 14px;
	font-variant: small-caps;
	color: #7F4300;
	background-color: #E0E0E8;
	text-decoration: none;
	border-top: 1px dotted #999999;
	border-right: 1px none #999999;
	border-bottom: 1px dotted #999999;
	border-left: 1px none #999999;
	
	padding-top: 9px;
	padding-left: 8px;
	padding-bottom: 10px;
	margin-top: 0px;
}

.contentElement h3 {
	font-weight: bold;
	font-size: 15px;
	border-top: 1px solid #000000;
	padding-left: 4px;
	margin-bottom: 2px;
	margin-top: 7px;
	padding-top: 9px;
}

.contentElement h4 {
	font-weight: bold;
	font-size: 16px;
	font-variant: small-caps;
	color: #7F4300;
	/* background-color: #E0E0E8; */
	text-decoration: none;
	border-bottom: 1px dotted #bbbbbb;
	
	padding-top: 0px;
	padding-left: 16px;
	padding-bottom: 2px;
	margin-top: 0px;
}

.contentElement h5 {
	font-weight: bold;
	font-size: 10px;
	font-variant: small-caps;
	color: #7F4300;
	background-color: #E0E0E8;
	text-decoration: none;
	border-top: 1px dotted #999999;
	border-right: 1px none #999999;
	border-bottom: 1px dotted #999999;
	border-left: 1px none #999999;
	
	padding-top: 9px;
	padding-left: 8px;
	padding-bottom: 10px;
	margin-top: 0px;
}

/* a header as DIV at the top of a contentelement */
div.contentHeader {
	font-weight: bold;
	font-size: 14px;
	font-variant: small-caps;
	color: #7F4300;
	background-color: #E0E0E8;
	text-decoration: none;
	border-top: 1px dotted #999999;
	border-right: 1px none #999999;
	border-bottom: 1px dotted #999999;
	border-left: 1px none #999999;
	
	padding-top: 9px;
	padding-left: 8px;
	padding-bottom: 10px;
	margin-top: 0px;
}


/* A paragraph element inside a contentElement (indented a bit) */
.contentElement p {
	padding-left: 4px;
}

/* status of student projects */
.status {
	text-align: right;
	margin-top:0px;
	padding-top:0px;
}


/* vcard style sheets */
div.vcard {
	margin: 5px;
	margin-left: 10px;
	font-size: 12px;
}

div.vcard div.title {
	font-size: 18px;
}

div.vcard div.name {
	font-size: 22px;
}

div.vcard img.depiction {
	float: right;
}

div.vcard img.icon {
	float: left;
}

div.vcard div.address {
	padding-left: 32px;
	padding-bottom: 5px;
}

div.vcard div.email {
	padding-left: 32px;
	min-height: 22px;
	padding-top: 4px;
}

div.vcard div.phone {
	padding-left: 32px;
	min-height: 22px;
	padding-top: 4px;
}

div.vcard div.fax {
	padding-left: 32px;
	min-height: 22px;
	padding-top: 4px;
}

div.vcard div.homepage {
	padding-left: 32px;
	min-height: 22px;
	padding-top: 4px;
}

/* publications style sheets */
div.publication {
	padding: 10px;
}

/*
div.publication div.date {
	width: 80px;
	float: left;
}
*/

div.publication div.description {
	padding-left: 10px;
	padding-right: 40px;
}

div.publication div.icon {
	width: 32px;
	float: right;
}

img.projectLogo {
	padding: 16px;
}

/* a reference to an external site, inside a div tag. Used in the menus to point to
   foaf files, valiadators, campaigns, etc. Inside a ref is always an <a> tag */ 
.ref {
  background: #EFFBFF;
  border: 1px dotted #CFDBEB;
  display: block;

}

.ref img {
	vertical-align: middle;
	border: 0;	
}

/*a link in a project */
div.link {
    padding-top: 2px;
	padding-bottom: 2px;
    padding-left: 15px;
    padding-right: 15px;
	FONT-SIZE: 12px;
	
	/* Undesired orange background
	 * COLOR: #000000;
     * background-color: #F7EBDE;
	 *	
	 * border-top: 1px dotted #999999;
	 * border-right: 1px none #999999;
	 * border-bottom: 1px dotted #999999;
	 * border-left: 1px none #999999;
	 */
}

/* a time description for a project */
div.timedesc {
	padding-right: 3px;
	float: right;
}

div.pagefooter {
	background-color: white;
	border-top: 1px dashed #999999;
	font-size: 9px;
	margin-bottom: 0px;
	margin-top: 10px;
	font-variant: small-caps;
}

ul.projects li img {
	/* float: right; */
	padding: 5px;
}

.center { 
	text-align: center;
}

#credits {
text-align: center;
}

/* LEO */
.conferenceadvertisment {
	font-size:14pt;
	font-weight: bold;
	text-align:center;
	text-decoration:none;
}