body { background-color: #eefaff;
	color: black }

table.menu {
	border-width: 0;
	width: 100%;
	color: white }

tr {text: white}

td.menu { 	background-color: gray;
		width: 14%;
		text-align: center;
		font-family: sans-serif;
		font-size: smaller;
		color: white;
		font-weight: bold  }

td.middle {	border-left: #004191 solid thin;
		border-right: #004191 solid thin;
		color: white  }

td.left { border-right: #004191 solid thin;
		color: white  }

td.right { border-left: #004191 solid thin;
		color: white }

a.menu:link { color: white;
		text-decoration: none }

a.menu:visited { color: white;
		text-decoration: none }


td.menu:hover { color: white;
		background-color: #004191  }
		
		
td.current { 	background-color: #d4ddde;
		color: black}

td.current:hover { background-color: #d4ddde;
		color: black  }
		
a.menu:hover { color: white;
		background-color: #004191;
		font-weight: bold }

div.bordered { background-color: white;
		border-style: solid;
		padding: 10px;
		border-width: 1;
		border-color: #004191;
		color: black;
		font-family: sans-serif;
		font-size: smaller}

div.sidebar { background-color: white;
		border-style: outset;
		padding: 10px;
		border-width: 4;
		border-color: #004191;
		color: black;
		font-family: sans-serif;
		text-align: center;
		vertical-align: middle }
		
div.illustration { float: right;
		padding: 10px;
		border-style: solid;
		border-width: 1;
		border-color: #004191;
		color: black;
		text-align: center;
		font-weight: bold;
		margin: 10px}
		
p.halfspace {margin-top: -10px}

.small { font-size: smaller }

.impact { font-family: impact, sans-serif;
		color: black}
		
td.espanol { background-color: #ffffcc;
		border:  #004191 solid thin }
		
a.espanol:visited { color: black }

a.espanol:link { color: black }

a.espanol:hover { color: white }
		
.highlight { background-color: #ffffcc;
		font-weight: bold;
		border-style: solid;
		padding: 8px;
		border-width: 1;
		border-color: #004191}
		
.indent {
		text-indent: 1cm}
