font.numbers
{
	margin-right: 10px;
}

font.numbers a, font.numbers b, font.text
{
	background-repeat: no-repeat;
	background-position: left top;
	padding: 2px 6px;
	width: 19px;
	height: 19px;
	text-align: center;
	vertical-align: middle;
	/*line-height: 100%;*/
	margin-left: -2px;
}
font.numbers a.padmini, font.numbers b.padmini, font.padmini
{
	padding: 2px 3px;
}

font.text
{
	font-size: 9pt;
	white-space: nowrap;
}

font.numbers a:link, font.numbers a:visited
{
	background-image: url(nav-elem.gif);
	text-decoration: none;
	background-repeat: no-repeat;
	background-position: left top;
}

font.numbers b
{
	background-image: url(nav-this.gif);
	color: white;
}
.text a:link, .text a:visited {
	color: #000000;
}
.text a:hover {
	color: #FA8333;
}