PRE
{
	font-size: 10pt;
}

.sadnews
{
	border-color: black;
	border-width: medium;
	border-style: groove;
}

.bignews
{
	border-color: red;
	border-width: medium;
	border-style: groove;
}

.fixed
{
	font-family: monospace;
}

.fixed10
{
	font-family: monospace;
	font-size: 10pt;
}

.git
{
	font-family: arial;
}