.updatetext {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 24px;
	font-style: normal;
	font-weight: bold;
	color: #FF0000;
	text-decoration: blink;
}
.highlighted {
	font-family: Times New Roman, Times, serif;
	font-size: medium;
	font-weight: bold;
	background-color: #ffff00
}
=