pre {
	background-color: #ffffcc;
	font-family:Arial, sans-serif;
	font-size:95%;	
	overflow:auto;
	padding:3px;
	width:98%;
}

.mainList {margin-left:15px;padding-left:15px;}
.mainList>li {margin-bottom:3ex;}
.mainList>li>strong {color:red;}

.internalLink {color:blue;text-decoration:none;}
.internalLink:visited {color:blue;}