body {
	font-family: "Times New Roman", Times, serif;
	text-decoration: none;
	color: #000000;
	background-color: #808080;
	font-size: large;
}

body.norep {
	background-repeat:no-repeat;
}
a.elab {
	color: #dc0000;
	font-family: "Times New Roman", Times, serif;
	text-decoration: none;
}

a {
	color: #0000ff;
	font-family: "Times New Roman", Times, serif;
	text-decoration: none;
}	
a.int {
	font-family: "Times New Roman", Times, serif;
	color: #008020;
	text-decoration: none;
}

p.nosp {
	margin-bottom: -18px;
}