.fluxtex {
	font-family: "Trebuchet MS", "Times New Roman";
	color: #666666;
	font-size: 12px;
}