.article_font_size, .article_font_size * {
	font-family : verdana, arial, helvetica, sans-serif;
	font-size : 12px;
	text-decoration: none;
	line-height : 16px;
	}
.article_font_size pre { font-family: monospace; font-size: 0:97em; letter-spacing:-1px;  color: #555555; }