.x3 {
	margin-right: 115px;
}

.x4 {
	margin-left: 100px;
}

div.box-nav {
	padding: 5px;
	margin: 0;
	border-width: 2px;
	border-style: solid;
	border-color: #6666CC;
	width: 100px;
	position: fixed;
	top: 25px;
	right: 3px;
	float: right;
	display: inline;
}

.nav {
	text-align: center;
	font-size: 8pt;
	margin-bottom: 0px;
}

a.block {
	display: block;
}

p.nav2 {
	text-align: center;
	font-size: 10pt;
	border-width: 1px;
	border-style: solid;
	border-color: #000000;
	background-color: #ccccff;
	margin-top: 3px;
	margin-bottom: 3px;
	padding-bottom: 2px;
}

p.nav2:hover {
	background-color: #ffff00;
}