a img {
	border:none;
}

.clear {
	clear:both;
}

.right {
	float:right;
}

.left {
	float:left;
}

input.gray {
	color:#555555;
}

span.unicode {
	font-family:"Arial","Cambria","FreeSans","Cambria Math","DejaVu Sans","GNU Unifont";
}

pre.normal-pre {
	font-family:ubuntu;
}

/* http://www.fileformat.info/info/unicode/font/fontlist.htm?text=%E2%AC%87+-+DOWNWARDS+BLACK+ARROW+%28U%2B2B07%29 */