/* new Styles  (for cleaning)*/
.dedication {font: italic normal 8pt Tahoma,Verdana,Arial;text-align:left;}             
.IntroB   {font: normal 8pt Verdana,Arial,Tahoma;color:blue; text-indent: 35px; margin-bottom: 5px;}
.refer  {font: italic normal 10pt/12pt Verdana,Arial,Tahoma; color:#000066; text-indent: 25px; margin-bottom: 5px;}


dt {font: italic normal 10pt/12pt Verdana,Arial,Tahoma; color:red; text-indent: 35px; margin-bottom: 5px;}
.date  {font: bold 9pt/12pt Arial,Tahoma,Verdana; color:red;text-align:right; margin-bottom: 5px;margin-top: 5px;}
.info   {font: normal 10pt/12pt Verdana,Arial,Tahoma; text-indent: 35px; margin-bottom: 5px;}
.info1 {font: italic normal 10pt Verdana,Arial,Tahoma;color:green;text-align:right;}             
.fig   
 {
	font: bold 10pt/12pt Verdana,Arial,Tahoma;
	text-align:center;
	color:blue;
	margin-bottom:10px;
 }

.infoTitle  
 {
	font: bold 12pt Verdana,Arial,Tahoma;
	color:blue;
	text-align:center;
 }
.infoTitle1 
 {
	font: bold 10pt Verdana,Arial,Tahoma;
	text-align:left; 
    border-bottom: 1pt solid;
    margin-bottom: 5px;
    margin-top: 10px;
 }
.infoTitle2 
 {
	font-family: Verdana,Arial,Tahoma;
  font-style: italic;
  font-weight: normal;
	font-size: 10pt;
	color:#000080;
	text-align:left;
	text-indent: 10px;
  margin-bottom: 2px;
  margin-top: 5px;
 }
.IntroH {font: bold 10pt Verdana,Arial,Tahoma;color:green;text-align:right;} 
.IntroK {font: bold 1pt Verdana,Arial,Tahoma;text-align:center;} 
.IntroI {font: normal 1px Verdana,Arial,Tahoma;color:white;text-align:right;} 
.titleCode  {font: normal bold 10pt Courier New; background-color:#FFFF99; color:blue; text-indent: 35px; text-align:left;}
.table   
 {
   font-style:normal;
   font-weight:normal;
   font-size:10pt;
   line-height:12pt;
   font-family:Verdana,Arial,Tahoma;
   text-align:center; 
   color: rgb(10,10,50);; 
}
.dialog   
 {
   font-style:normal;
   font-weight:normal;
   font-size:9pt;
   line-height:11pt;
   font-family:Verdana,Arial,Tahoma;
   text-align:center; 
   color:black; 
 }
.error  
 {
   font-style:normal;
   font-weight:bold;
   font-size:10pt;
   font-family:Verdana,Arial,Tahoma;
   color:red;
   text-align:center;
 }
.author
 {
   font-style:normal;
   font-weight:normal;
   font-size:8pt;
   font-family:Courier New,Lucida Console,monospace;
   text-align:left;
   color: navy;
   background-color: rgb(51,255,153);
 }
.infoCode
 {
   font-style:normal;
   font-weight:normal;
   font-size:8pt;
   font-family:Courier New,Lucida Console,monospace;
   text-align:left;
   width: 650px;
   overflow: hidden; 
 }
.infoTable {
	font: italic bold 14px/18px Helvetica,Arial,Verdana,sans-serif; 
	color:black; 
	margin:5px; 
	text-align:center;
}
CODE { 
	font-style:italic;
	font-weight:normal;
	font-size:9pt;
	font-family:Courier New,Lucida Console,monospace;
	background-color:#FFFFD0;
	color:#007800;
}
.erlang-code {
	font-style:normal;
	font-weight:normal;
	font-size:8pt;
	font-family:sans-serif,monospace;
	border:1px solid #f0f0f0; 
	background-color:#f0f0ff;
	text-align:left;
	width: 650px;
	overflow: hidden; 
 }

#d1, #d2, #d3, #d4, #d5, #d6 {
	font: bold 16px/16px Helvetica,Arial,Verdana,sans-serif; 
	color: white;
	text-align:center;
	background-color: #009966;
}
.mMenu
 {
   font: bold 12px/12px Helvetica, Verdana, Arial, sans-serif;
   color:white; 
   text-transform: uppercase;
   vertical-align:middle;
   border-width: 2px;
   border-style: solid;
   border-color: #f3b840;
 }
.copyR  
 {
   font: 10px Verdana, Arial, Helvetica, sans-serif; 
   color:#41638A
 }
.oddrow
 {
	 background-color:#DFDFFF;
 }
.evenrow
 {
	 background-color:#DFEFEF; 
 }
#menu1,#menu1sub,#menu5,#menu6,#menu7
 { 
   visibility:visible;
 }        
#menu8, #underMT
 {
   visibility:hidden; 
 }     
#head  
 {
   position: absolute; 
   left: 10px; 
   top: 10px; 
   z-index: 1; 
 }
 
/*    new (March'07) selectors :: */ 

.vmenuitem
{
  clear:left;
  float:left;
  background-image:url("cloud.gif"); 
  width:120px;
  min-height:30px; 
  margin:2px 0 2px 0;
}

A.xMenu:link, A.xMenu:visited
{
  height:30px;
  width:120px;
  font: bold 12px Verdana,Arial,Helvetica,sans-serif;
/*   line-height:100%;*/
   vertical-align:bottom;
  color: #CC6600; 
  text-transform: uppercase; 
  text-decoration: none;
}

A.xMenu:hover   
{
  color: red!important; 
  text-decoration: none
}
 
A.xMenu:active  
{
  color: #336699!important; 
  text-decoration: none
}

.subMenu
{
  clear:left;
  float:left;
  width:120px; 
  display:none;   
}

A.subMenuItem:link, A.subMenuItem:visited
{
  font: bold 11px Verdana,Arial,Helvetica,sans-serif;
  color: blue; 
  line-height: 100%; 
  text-transform: none;
  text-align: center; 
  text-decoration: none;
}

A.subMenuItem:hover   
{
  color: red!important; 
  text-decoration: none
}

A.subMenuItem:active  
{
  color: #336699!important; 
  text-decoration: none
}

#progressBar
{
  position:absolute;
  visibility:hidden;
  top:0;
  left:0;
  border-color:red; border-style:solid; border-width:2px;
  width: 150px;
  height: 30px;
  font-size:12px; font-weight:bold; font-family:Verdana,sans-serif;font-style:normal;
  background-color:rgb(250,240,255);      
  color:green;
  text-align:center;
  vertical-align:middle;
  padding:4px;   
}  
/* CSS FOR ERLANG PAGE */
.room {
	position: relative;
	width: 300px;
	height: 300px;
	border:2px solid #f0d0c0; 
	background-color:#f0e8f0;
}
.ptable {
	position: absolute;
	z-index: 50 
}
.person {
	position: absolute; 
}
.fork {
	position: absolute; 
	z-index: 51 
}