#jpkmasthead, #jpkmenu {
	position: fixed;
	left: 0;
	right: 0;
}

#jpkmasthead {
	top: 0;
	padding-left: 10px;
	padding-right: 10px;
	height: 71px;
	background-color: white;
}

#jpkmenu {
	height: 22px;
	padding-top: 7px;
	top: 71px;
}

A.menu {
	color: white;
	background-color: black;
	font-size: 13pt;
	font-weight: bold;
}

A.menu:hover {
	color: black;
	background-color: white;
}

/* Hack to eliminate hover highlight over images */
A.noHover:hover {
    background-color: transparent;
}

.logo {
    border-color: blue;
    border-width: 1px;
    border-style: solid;
}

.logo:hover {
    border-color: red;
}