div.foil-body a {
    text-decoration: none;
}

div.foil-body a:link {
    border-bottom-color: -moz-use-text-color;
    border-bottom-style: dotted;
    border-bottom-width: 1px;
    color: FireBrick;
}

div.foil-body a:visited {
    border-bottom-color: -moz-use-text-color;
    border-bottom-style: dotted;
    border-bottom-width: 1px;
    color: RosyBrown;
}

div.foil-body a:link:hover, div.foil-body a:visited:hover {
    border-bottom-color: -moz-use-text-color;
    border-bottom-style: solid;
    border-bottom-width: 1px;
}

address { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 0.8em;
	line-height: 1em;
	margin: 0.4em; 
	font-style: normal
}

dl { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 18pt;
	line-height: 1.4em;
	margin: 0.4em;
}


blockquote { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 18pt;
	line-height: 1.2em;
	text-indent: 0em
} 

li { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 18pt;
	line-height: 1.2em;
	margin-top: 0.4em; 
	text-indent: 0em
} 

pre { 
	font-family: monospace; 
	font-size: 18pt;
	line-height: 1.1em;
	margin: 0.4em;
	text-indent: 0em
} 


tt { 
	font-family: monospace; 
	font-size: 18pt;
} 


td,th { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 18pt;
	line-height: 22pt;
	margin: 0em;
	text-indent: 0em
} 

h1 { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 24pt; 
	line-height: 1.1em;  
	margin-top: 0em;
	margin-bottom: 0.5em;  
	color: #990000;
  text-align: center;
} 

h2 { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	line-height: 24pt; 
	font-size: 19pt; 
	font-weight: bolder; 
	margin-top: 1.4em; 
	color: #003366} 

h3 { 	font-family: Verdana, Arial, Helvetica, sans-serif; 
	line-height: 19pt; 
	font-size: 18pt; 
	font-weight: bolder; 
	margin-top: 0.2em; 
	color: #003366 }

h4 { 	font-family: Verdana, Arial, Helvetica, sans-serif; 
	line-height: 19pt; 
	font-size: 18pt; 
	font-weight: bolder; 
	margin-top: 0.2em; 
	color: #003366 } 

h5 { 	font-family: Verdana, Arial, Helvetica, sans-serif; 
	line-height: 19pt; 
	font-size: 18pt; 
	font-weight: bolder; 
	margin-top: 0.2em; 
	color: #003366 } 

p { 	font-family: Arial, Verdana, Arial, Helvetica, sans-serif; 
	font-size: 18pt;
	line-height: 1.2em;
	margin: 0.4em;
	text-indent: 0em
} 

.centeredtext { 	
	font-family: Arial, Verdana, Arial, Helvetica, sans-serif; 
	font-size: 18pt;
	line-height: 1.2em;
	margin: 0.4em;
	text-indent: 0em;
	text-align: center;
} 

ol,ul { 	
        font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 18pt;
/*	line-height: 1.4em;*/
 } 

div.slidesinfo {
  padding-top: 60px;
  text-align: center;
}

div.slidesinfo h1 {
  padding-bottom: 30px;
}

h3.author {
  margin-bottom: 5px;
}

span.orgname {
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  font-size: 16px;
  color: #003366;
}

div.foilgroup h1 {
  padding-top: 60px;
  padding-bottom: 5px;
}

div.foil h1 {
  padding-bottom: 15px;
}

div.informaltable table {
  border-width: 1px 0 0 1px;
  border-spacing: 0;
  margin: 0 auto;
}

div.informaltable th, div.informaltable td {
  border-width: 0 1px 1px 0;
  padding: 4px;
}

div.informaltable table, div.informaltable th, div.informaltable td {
  border-style: solid;
  border-color: black;
}

div.informaltable td {
  text-align: left;
}

pre.programlisting {
  /*font-size: 1.2em;*/
	font-size: 15px;
  border: 1px solid black;
  background-color: #EEEEEE;
  padding: 6px 3px;
}

.command {
  font-family: Courier New, Courier;
}

div.variablelist dl dt {
  font-style: oblique;
}

div#about {
  display: none;
  top: 98px;
  right: 83px;
  background-color: #EEE;
  border: 1px solid black;
  position: absolute;
  width: 450px;
padding: 10px;       
}

div#about .close {
  text-align: right;
  float:right;
}

div#about .close a {
  font-family: Arial;
  font-size: 14px;
  font-weight: bold;
  padding: 2px;
  border: 2px solid #990000;
}

div#about h2 {
  font-size: 16px;
}

div#about p {
  font-size: 14px;
}

div#about .title {
  width: 100%;
  font-weight: bold;
}

div#about address {
  font-style: oblique;
}