body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 88%;
	margin: 0px;
}
td.logo {
	width: 120px;
}
td.pageContent {
	padding: 5px 8px;
}
.lastUpdate {
	font-size: 70%;
	color: #808080;
	padding: 10px 0px 0px 10px;
}
table.mainTable td {
	font-size: 88%;
	border: 1px solid #D4D4D4;
}

/* pageTitle is copyed from Help CSS */
table.mainTable td.pageTitle {
	font-size: 130%;
	text-align: center;
	background-color: #8AB8F4;
	padding: 5px 7px;
}

/* LEFT MENU */
table.leftSubMenu {
	background-color: #F8F8F8;
	width: 120px;
}
table.leftSubMenu tr td {
	padding: 5px;
	border: 0px solid Black;
}
table.leftMenu {
	font-size: 14px; /* fixed size = IE does not change size on text size */
}
table.leftMenu tr td {
	padding: 0px;
	border-top: 1px solid #8080FF;
}
table.leftMenu tr td.leftMenuSelected a {
	padding: 3px 2px 3px 8px;
	background-color: #B0B0B0;
	color: White;
}
table.leftMenu tr td a {
	padding: 3px 2px 3px 5px;
	width: 120px;
	display: block;
	text-decoration: none;
}
table.leftMenu tr td a:hover {
	background-color: #E0E0E0;
}




/* DOWNLOAD */
.downloadLatestVersion {
	font-size: 120%;
}
table.download th {
	background-color: #E0E0E0;
	border-width: 1px 1px 0px 1px;
	padding: 4px 10px;
}
table.download td {
	border-width: 0px 1px 1px 0px;
	padding: 4px 10px;
}