body, tr, td {
 color: #000000;
 line-height: 120%;
 background-color: #ffffff;
}


em.title {
  color: #bb0000; 
  font-weight: bold;
  font-style: normal;
}

p {
 width: 60%;
 padding: 0px;
 margin: 0px;
}

li {
  margin-bottom: 10px;
} 

pre {
 margin: 0 0 0 40px;
	padding: 18px 0 18px 10px;
 background-color: #000000;
 color: #ffffff;
 /* For IE */
 word-wrap: break-word;
 /* O.W. */
 white-space: pre-wrap;
}

img.domain {
 height: 2ex;
 vertical-align: middle;
}

img { 
  vertical-align: top;
}