body {
  font-family: Arial, serif;
  font-size: 30pt;
  color: black;
  background-repeat: no-repeat;
  padding: 0px;
  margin: 0px;
}

div.slidecontrols {
  position:absolute;
  top:0px;
  z-index:15;
  left:0px;
  width: 100%;
  height: 15px;
  visibility: hidden;
  display: none;
}

#ffwarning {
  position:absolute;
  top:0px;
  right:0px;
  background:red;
  color:white;
  font-weight:bold;
  z-index:100;
  font-size:10pt;
  padding:3px;
}

div.title {
  font-size: 24pt;
  text-align: center;
  border-bottom: 1px solid gray;
  width: 80%;
  margin: 0px auto;
}

div.content {
  position: absolute;
  width: 100%;
  height: 50%;
  left: 0px;
  bottom: 0px;
  background-color: white;
}

div.central {
  font-size: 20pt;
  position: absolute;
  top: 0px;
  left: 0px;
  width: 100%;
  height: 100%;
  z-index: 5;
  background-color: white;
}

div.filler {
  height: 32pt;
}

div.text {
  position: absolute;
  width: 35%;
  height: 100%;
  left: 0px;
  bottom: 0px;
  font-size: 30pt;
  font-family: Arial, serif;
}

div.code {
  position: absolute;
  font-size: 14pt;
  width: 65%;
  height: 100%;
  right: 0px;
  bottom: 0px;
  overflow: hidden;
  text-align: right;
}

div.livecode {
  width: 100%;
  height: 100%;
  overflow: hidden;
}

div.samplecode {
  width: 100%;
  height: 100%;
  text-align: left;
  overflow: hidden;
}

div.points {
  width: 100%;
}

div.footer {
  font-size: 14pt;
  text-align: center;
  position: absolute;
  left: 30%;
  bottom: 0px;
  height: 20pt;
  color: silver;
  width: 40%;
}

div.slidedot {
  float: left;
  width: 12px;
  height: 10px;
  font-size: 1px;
  background-color: white;
  cursor: pointer;
  margin: 1px 2px;
  border: 1px solid silver;
}

div.slidedot-active {
  background-color: gold !important;
}

div.map {
  position: absolute;
  top: 0px;
  left: 0px;
  width: 100%;
  height: 50%;
  border: 0px;
  padding: 0px;
  z-index: 0;
}

div.curtain {
  position: absolute;
  top: 0px;
  left: 0px;
  width: 100%;
  height: 50%;
  border: 0px;
  padding: 0px;
  z-index: 1;
  background-color: white;
  opacity: 0.7;
  visibility: hidden;
  display: none;
}

input[type=button] {
  font-size: 12pt;
  opacity: 1.0;
}

input.run {
  font-weight: bold;
  font-style: italic;
  font-size: 11pt;
  color: #800000;
}

#text h1 {
  text-align: center;
}

#text h3 {
  text-align: center;
}

#text ul {
  margin: 0px;
  font-size: 18pt;
}

#points tt {
  color: #004400;
}

#text ul ul {
  font-size: smaller;
  margin-bottom:1em;
}

#points {
  font-weight:bold;
}

textarea.editor {
  border: 1px solid gray;
  background-color: #f0f0ff;
  font-family: monospace;
  font-size: 14pt;
  z-index: 100;
  padding: 0px;
  margin: 0px;
  width: 100%;
  font-weight:bold;
}

/* prettyprint styles */
.str { color: #080; }
.kwd { color: #008; }
.com { color: #800; }
.typ { color: #606; }
.lit { color: #066; }
.pun { color: #660; }
.pln { color: #000; }
.tag { color: #008; }
.atn { color: #606; }
.atv { color: #080; }

pre.prettyprint {
  border: 1px solid #888;
  background-color: #fffff9;
  font-size: 13pt;
  padding: 0px !important;
  margin: 0px !important;
  overflow: auto;
  height: 15em;
  font-weight:bold;
}

div.frame {
  position: absolute;
  top: 0px;
  left: 0px;
  border: 1px solid red;
  width: 1024px;
  height: 768px;
  z-index: 0;
  display: none;
}

div.prevnext {
  float: left;
  font-weight: bold;
  width: 12px;
  height: 10px;
  font-size: 1px;
  cursor: pointer;
  text-align: center;
  margin: 1px 2px;
  border: 1px solid silver;
  background-color: white;
}

div.screenshot {
  position: absolute;
  top: 0px;
  left: 0px;
  z-index: 100;
  width: 0px;
  height: 0px;
  border: 3px double gray;
  background-color: #ccccff;
  visibility: hidden;
}

div.shadow {
  position: absolute;
  top: 0px;
  left: 0px;
  z-index: 100;
  width: 400px;
  height: 400px;
  border: 0px none #202020;
  background-color: #202020;
  visibility: hidden;
  opacity: 0.8;
}

div.logo {
  visibility: hidden;
  position: absolute;
  bottom: 2px;
  right: 2px;
  z-index: 50;
  border: 0px;
  margin: 0px;
}