@import "HANDOUTS.CSS";

/* remove underline & default colors from text links
A:link, A:visited, A:active {
	text-decoration: none;
	color: #000000;
}
 */
 
/* rollover */
A:hover {
	/* text-shadow: 3px 3px 5px red; not supported */
	/* text-transform: uppercase; moves type around */
	/* outline: solid thin red; only works in Safari */
	/* text-decoration: underline; requires changing default link appearance */
	text-decoration: overline;
}

.toc,
.news,
.nav,
.bodytype {
	margin-right: 2%;
	margin-left: 2%;
}


/* tables (except headings, see HANDOUTS.CSS) */

TABLE.fullwidth, TABLE.validations, TABLE.docinfo {
	padding: 0;
	margin: 0;
	border: none;
	width: 100%;
	font-family: arial, verdana, geneva, helvetica, sans-serif;
/* the following is ignored by IE 5.2 Mac, which means the page will look noticeably different from Mozilla & Safari */
/* but because it eliminates an obstreperous gap around course cells in Mozilla 1.7.2 Mac, it's an acceptable trade-off */
	border-collapse: collapse; 
 }

TABLE.validations, TABLE.docinfo {
	font-size: 75%;
	background: #FFFFFF;
}


TABLE.validations TD {
	width: 33.33%;
	vertical-align: top;
}



/* misc inline elements */

/* set bkgnd color for text links
.bodytype A:link,
.bodytype A:visited,
.bodytype A:active,
.nav A:link,
.nav A:visited,
.nav A:active,
.news A:link,
.news A:visited,
.news A:active,
.toc A:link,
.toc A:visited,
.toc A:active,
.docLocation A:link,
.docLocation A:visited,
.docLocation A:active,
.docModification A:link,
.docModification A:visited,
.docModification A:active {
	background: #99FFFF;
}
 */

/* bottom of the page */

.docLocation, .docModification, .upstreamLink {
	vertical-align: top;
}

.docLocation, .docModification, .badgeLeft {
	text-align: left;
}

.upstreamLink, .badgeRight {
	text-align: right;
}

.badgeCenter {
	text-align: center;
}

.docLocation, .docModification, .upstreamLink, .badgeLeft, .badgeCenter, .badgeRight {
	padding-left: 1%;
	padding-right: 1%;
}

.docURL {
  font-family: monaco, courier, monospace;
  font-size: 120%; /* otherwise it appears smaller (almost invisible in Mozilla 1.7.2 Mac) */
  }

.noborder {
/* neither of the following work in Mozilla 1.7.2 Mac or IE 5.5 PC */
/* both work in IE 5.2 mac and Safari */
	border: none;
/* 	border-width: 0px; redundant  */
 }