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