pre.atext {
background-color:#EDF1F3;
border:1px solid #9AAAB4;
margin-left:10px;
margin-right:6px;
padding:4pt;
text-align:left;
}

pre.atext i {
color:gray;
}
em.code {
color:#009999;
font-family:monospace;
font-style:normal;
font-weight:bold;
}

body {
font-family:sans-serif;
}


a {
line-height:14px;
color:#0000FF;
text-decoration:none;
}

a:hover {
color:#FF0000;
}

p {
line-height: 1.1;
}