/* First those where I understand for what they are used */

body	{	
	font-family: Arial, Helvetica, Times, Times New Roman, sans-serif;
	background:url(images/background.jpg) no-repeat;
	color: Black;
/*	MARGIN-left: -5px;*/
	padding-left: 2pt;
	}
	
div#headtitle {
	font-family:Arial, Helvetica, Times, Times New Roman, sans-serif;
	font-size:40px; 
	font-weight:normal; 
/*	font-stretch:normal; */
	color:#da5524; 
	text-align:left;
	padding-top: 10pt;
/*	MARGIN-TOP: 10pt;*/
}

div#headlogo {
	padding-top: 20pt;
	padding-left: 30pt;
	padding-bottom: 30pt;
/*	MARGIN-TOP: 17px;
	MARGIN-left: 30px;
	MARGIN-bottom: 40px;
*/}

.smallfont {
	font-size:small;
	}

span#emph {
	color:#da5524; 
	FONT-WEIGHT: bold;
}


img.inlineInserted {
  border: none;
}

/* Formatting the menue */

.menutitle
{
	FONT-WEIGHT: bold;
	COLOR: #da5524;
	FONT-FAMILY: Arial, Helvetica, Times, Times New Roman, sans-serif;
	TEXT-DECORATION: none;
	TEXT-INDENT: 0pt;
	FONT-SIZE: 10pt;
	MARGIN-TOP: 10pt;
	MARGIN-BOTTOM: 5pt;
        line-height: 120%
}

.selected { 
	COLOR:  #FFFFFF; 
	FONT-WEIGHT: bold;
	FONT-FAMILY: Arial, Helvetica, Times, Times New Roman, sans-serif;
	TEXT-DECORATION: none;
	TEXT-INDENT: 0pt;
	FONT-SIZE: 10pt;
	MARGIN-TOP: 0pt;
	MARGIN-BOTTOM: 5pt;
        line-height: 120%
	}

.menuitem
{
	COLOR: #E0E0E0;
	FONT-FAMILY: Arial, Helvetica, Times, Times New Roman, sans-serif;
	TEXT-DECORATION: none;
	TEXT-INDENT: 0pt;
	FONT-SIZE: 10pt;
	MARGIN-TOP: 0pt;
	MARGIN-BOTTOM: 5pt;
        line-height: 120%
}

.menuitem:visited {
        color: #E0E0E0;
}

.menunew
{
	COLOR: #da5524;
	FONT-WEIGHT: bold;
	FONT-FAMILY: Arial, Helvetica, Times, Times New Roman, sans-serif;
	TEXT-DECORATION: blink;
	FONT-SIZE: 7pt;
}

h1 {
	font-family:Arial, Helvetica, Times, Times New Roman, sans-serif;
/*	color: #da0000; */
	color: #da5524;
	font-size:24pt;
	margin-top: 0pt;
	margin-bottom: 10pt;
	}
	
h2 {
	font-family:Arial, Helvetica, Times, Times New Roman, sans-serif;
	color: #da5524;
	font-size:16pt;
	margin-top: 3pt;
	margin-bottom: 9pt;
	}

h3 {
	font-family:Arial, Helvetica, Times, Times New Roman, sans-serif;
	font-size: 14pt;
	color: #da8024;
	margin-top: 3pt;
	margin-bottom:6pt;
	}
	
h4 {
	font-family:Arial, Helvetica, Times, Times New Roman, sans-serif;
	font-size: 12pt;
	color: #daa024;
	margin-top: 3pt;
	margin-bottom:4pt;
	}

a 	{ 
	font-family:Arial, Helvetica, Times, Times New Roman, sans-serif;
	text-decoration: none; 
	color:#da5524;
	}

a:visited { 
        color:#800000;
}

a:hover { 
	text-decoration: underline;
}

h3 a { 
  color: #daa024;
 }

h3 a:visited { 
  color: #daa024;
 }


.tutorial {
  background-color:#7bb85c; 
  color: #000000; 
  border-width: 2pt;
  border-style: solid;
  border-color: #7bb85c;
}

.invited {
  background-color:#7bb8A0; 
  color: #000000; 
  border-width: 2pt;
  border-style: solid;
  border-color: #7bb8A0;
}

.specialsession {
  background-color:#7bb8D0; 
  color: #000000; 
  border-width: 2pt;
  border-style: solid;
  border-color: #7bb8D0;
}

.contributed {
  background-color:#7bb8FF; 
  color: #000000; 
  border-width: 2pt;
  border-style: solid;
  border-color: #7bb8FF;
}

/*
p.shaded {
	background-color: #da5524;
	color: #FFFFFF;
	font-weight: bold;
	font-size: 10pt;
		}
*/
p.shadedbox {
	background-color: #da5524;
	color: #FFFFFF;
	font-weight: bold;
	font-size: 10pt;	
	margin-top: 0pt;
	margin-bottom: 0pt;
	}

p.box {
	color: #da5524;
	font-weight: bold;
	font-size: 10pt;	
	border-left-width: 2pt;
	border-right-width: 2pt;
	border-left-style: solid;
	border-right-style: solid;
	border-color: #da5524;	
	margin-top: 0pt;
	margin-bottom: 0pt;
	}

p.box a { 
  color: #800000;
 }

p.boxend {
	color: #da5524;
	font-weight: bold;
	font-size: 10pt;	
	border-left-width: 2pt;
	border-left-style: solid;
	border-right-width: 2pt;
	border-right-style: solid;
	border-bottom-width: 2pt;
	border-bottom-style: solid;
	border-color: #da5524;	
	margin-top: 0pt;
	margin-bottom: 0pt;
	}


/* Now those where I don't understand or have not check their meaning */



.lo {
	COLOR: #FFCC66;
	}

.mo {
	COLOR: #FF9900;
	}

.do {
	COLOR: #FF6600;
	}

.red {
	COLOR: #da5524;
	}

b.hl {
	color: #da5524;
	font-weight: bold;		
	}

p {
	font-size:10pt;
	}

ul { 
	font-size:10pt;
 }

table { 
	font-size:10pt;
 }

ul.space { 
  font-size:10pt;
}

li.space { 
  margin-top:4pt
}

p.titleorange {
  background-color:#CF5C30; 
  color: #000000; 
  font-weight: bold; 
  border-left-width: 1pt;
  border-style: solid;
  border-top-width: 1pt;
  border-bottom-width: 1pt;
  border-color: #CF5C30;
}

p.titleblack {
  background-color:#000000; 
  color: #FFFFFF; 
  font-weight: bold; 
  border-left-width: 2pt;
  border-style: solid;
  border-top-width: 2pt;
  border-bottom-width: 2pt;
  border-color: #000000;
}
	
.sfoundational {
  background-color:#FFCC66; 
  color: #000000; 
  margin-left: 5pt;
  margin-top: 0;
  margin-bottom: 0;
  font-size: 9pt;
}
	
.sintroductory {
  background-color:#FF9900; 
  color: #000000; 
  margin-top: 0;
  margin-bottom: 0;
  font-size: 9pt;
}
	
.sadvanced {
  background-color:#da5524; 
  color: #FFFFFF; 
  margin-top: 0;
  margin-bottom: 0;
  font-size: 9pt;
}

.sworkshop {
  background-color:#990000; 
  color: #FFFFFF; 
  margin-top: 0;
  margin-bottom: 0;
  font-size: 9pt;
}
	
a.schedule2:visited { 
  color: #FFFFFF;
  text-decoration: underline;
 }

a.schedule2 { 
  color: #FFFFFF;
  text-decoration: underline;
}

a.schedule1:visited { 
  color: #000000;
  text-decoration: underline;
 }

a.schedule1 { 
  color: #000000;
  text-decoration: underline;
}

a.orange {
	color: #FF9900;
	}
SPAN.ptt {
	font-family:Arial, Helvetica, Times, Times New Roman, sans-serif;
	font-size:small; 
	font-weight:bold; 
	color:white; 
	text-align:center
	}
	
SPAN.pst {
	font-family: Arial, Helvetica, Times, Times New Roman, sans-serif;
	font-size:small; 
	font-weight:normal; 
	color:black; 
	text-align:left
	}
	
UL.pst {
	font-family: Arial, Helvetica, Times, Times New Roman, sans-serif;
	font-size:small; 
	font-weight:normal; 
	color:black; 
	text-align:left
	}