body {
  font-size: 14px;
  font-family: "Lucida Grande", Helvetica, Arial, sans-serif;
}

body.public {
	background-color: #0080C0;
	color: #ffffff;
}

a {
  color: #00B7FF;
}

header {
	background-color: #0080C0;
	color: #ffffff;
}

	header .sub {
		background-color: #F1F1F1;
		color: #000000;
	}
	
	header a {
		text-decoration: none;
	}

	header .logo a {
		color: #ffffff;
		font-size: 24px;
		font-style: italic;
		font-weight: bold;
	}
	
	header .links {
	}

		header .links a {
			margin: 0 0.8em 0 0;
			color: #000000;
		}