body { 
	color: #7f7f7f; 
	/* font-family: Helvetica, Verdana, Trebuchet MS, sans-serif; */
	/*font-family: Verdana, Helvetica, Trebuchet MS, sans-serif;*/
	font-family: Georgia, serif;
	margin: 0px;
	font-size: 13px;
}

.pagebackground { background: #f1f1f1; margin: auto; padding: 20px; text-align: center; }
.page { background-color: white; width: 900px; height: auto; margin: auto; padding: 0; text-align: center; }

.header { padding-right: 40px; padding-left: 40px; padding-bottom: 40px; padding-top: 60px; width: auto; margin: auto; text-align: center; }
div.title {  background-image: url(/~mcasey/cs2/texture1.jpeg);height: 100px; }
.title { margin-top: 0px; color: #FFFFFF; margin-bottom: 10px; font-size: 32px;font-weight:bold; vertical-align:middle}
.subtitle { color: #00693E;}
.logo { float: right; border-style: none; }
.navigation { border-top-color: #00693E; border-bottom-style: solid; border-top-style: solid; border-bottom-width: 1px; border-top-width: 1px; margin-right: 40px; margin-left: 40px; margin-bottom: 0px; margin-top: 0px; color: #b1b1b1; background-color: #f7f7f7; width: auto; font-size: 14px; text-align: center; padding: 10px; }
.internalnavigation { color: #00693E; font-size: 14px; text-align: center; }
.navitem { padding: 10px; margin: 0px;}
.navnote { padding: 10px; margin: 0;}
.navigation a {
	color: #00693E;
}
.internalnavigation a {
	color: #00693E;
}
.navigation a:hover { color: black; }
.internalnavigation a:hover { color: black; }
.content { width: auto; background-color: white; text-align: left; padding: 20px 40px; }
.footer { border-top: 1px solid; }

h1 { margin-bottom: 5px; margin-top: 20px; color: #00693E; font-size: 24px; text-align: center; }
h2 { color: #00693E; font-size: 18px; margin-top: 40px; }
h3 { color: #00693E; font-size: 14px; }
p { margin-bottom: 10px; text-align: justify; margin-top: 10px; }
p.pfirst { margin-bottom: 10px; text-align: justify; margin-top: 40px; }
a { text-decoration: none; color: #3d696c; }
a:hover { color: black; }
a img { border: none; }
div.figure {  text-align: center;  }

ul {
  margin-top: 0px;
  list-style-type: square;
}

ul li {
  list-style-type: disc;
}

ul.large li {
  margin-bottom: 10px;
  margin-top: 10px;
  padding-bottom: 2ex;
}

ol.large {
	padding-left: 0em;
	margin-left: 20px;
}

ol.large li {
	margin-top: 10px;
	margin-bottom: 10px;
}

dt { margin-top: 10px; font-style: italic; }
dd { margin-left: 2em; }

table.schedule {
	width: 100%;
	border-style: solid;
	border-color: #fff;
	border-collapse: collapse;
}

table.schedule #date { text-align: left; width: 10%; }
table.schedule #topics { text-align: left; width: 35%; }
table.schedule #refs { text-align: left; width: 35%; }
table.schedule #out { text-align: left; width: 10%; }
table.schedule #due { text-align: left; width: 10%; }

table.schedule td { padding: 2px 10px; margin: 0px; border-style: none solid; border-width: 2px; border-color: #fff; white-space: nowrap; }
table.schedule th { padding: 2px 10px; font-weight: bold; margin: 0px; }

table.schedule tr.on { background-color: #eee; }
table.schedule tr.off { background-color: #fff; }
table.schedule tr.off td { border-color: #ddd; }

.cancel { color: #808080; }
div.code {
  margin-right: 0px;
  margin-left: 0px;
  margin-bottom: 10px;
  margin-top: 10px;
  padding-left: 10px;
  padding-bottom: 10px;
  padding-right: 10px;
  padding-top: 10px;
  font-size: 12px;
  background: #f1f1f1;
}

div.codeseparator {
  border-top-color: #00693E;
  border-top-style: solid;
  border-top-width: 1px;
  padding-right: 0px;
  margin-right: 40px;
  padding-left: 0px;
  margin-left: 40px;
  padding-bottom: 0px;
  margin-bottom: 0px;
  padding-top: 0px;
  margin-top: 0px;
  font-size: 12px;
}

div.appletref {
  text-align: center;
  margin-right: 0px;
  margin-left: 0px;
  margin-bottom: 10px;
  margin-top: 10px;
  padding-left: 10px;
  padding-bottom: 10px;
  padding-right: 10px;
  padding-top: 10px;
  font-size: 12px;
  background: #f1f1f1;
}

div.sketchref {
  margin-right: 0px;
  margin-left: 0px;
  margin-bottom: 10px;
  margin-top: 10px;
  padding-left: 0px;
  padding-bottom: 0px;
  padding-right: 0px;
  padding-top: 0px;
  font-size: 12px;
  background: #f1f1f1;
}

div.pderef {
  margin-right: 0px;
  margin-left: 0px;
  margin-bottom: 10px;
  margin-top: 10px;
  padding-left: 0px;
  padding-bottom: 0px;
  padding-right: 0px;
  padding-top: 0px;
  font-size: 12px;
  background: #f1f1f1;
}

div.code pre {
	margin-right: 0px;
	margin-left: 0px;
	margin-bottom: 0px;
	margin-top: 0px;
}

/*
.sketchtab {
  float: right;
  font-size: 14px;
  font-weight: bold;
  padding: 0 10px 0 10px;
}
*/

.codename {
  float: right;
  font-size: 14px;
  font-weight: bold;
}

.appletname {
  clear: both;
  float: right;
  z-index: 0;
  font-size: 14px;
  font-weight: bold;
}

span.inlinecode {
  font-family: monospace;
}

.comment { color: #00693E; }
.type { color: #996600; }
.java { color: #996600; }
.function { font-weight: bold; }
.builtin { color: #996600; }
.builtin a { color: #996600; }
.builtin a:hover { color: #000000; }
.builtinvar { color: #006699; }
.builtinvar a { color: #006699; }
.builtinvar a:hover { color: #006699; }
.newcode { background: #ff0; }
.ref {font-style: italic;}

dl.prog dt { font-weight: bold; font-style: normal; }
dl.prog dd { margin-left:0; margin-bottom: 1em; }

table.pixels {
  border: 1px solid black;
  border-collapse: collapse;
}

table.pixels td {
  border: 1px solid black;
  text-align: right;
  width: 3em;
}

ol.hw {
  padding-left: 1em;
  margin-left: 1em;
}

ol.hw li {
  padding-bottom: 2ex;
}

ol.hw ul.bullet li {
  padding: 0;
  margin: 0;
}

dl.exhibit dt {
   font-style: normal;
}

dl.exhibit dd {
  padding-bottom: 1em;
}