/* slide stylesheet */

/* Default sizes for 800x600 in case there's no specific size stylesheet:
   but navigate.js is supposed to take care of it based on window size.
body { font-size: 27px; }
table { font-size: 27px; }
*/

/* Comment this out to make navigation controls visible: */
/* Oops, these slides don't have the navigation controls, never mind.
#navigation {
  display: none;
  z-index: 99; position: absolute; top: -10px; right: 1em;
}
 */

body {
  background: white url(pix/vfade.jpg) repeat-x;
  margin-top: 0em;
  line-height: 1.25em;
  margin-left: 95px;
  margin-right: 30px;
}

.title {
  line-height: 1.1em;
}

h1 {
  font-size: 1.85em;
  padding-top: .6em;
  margin-bottom: 1.2em;
}

h1 i { color: #800; }

h2 {
  font-size: 1.22em;
}

/* p { margin-top: 1.3em; } */

/* For some bizarre reason forms come out with margin-bottom = 27 */
form { margin-bottom: 0; }

ul {
  font-size: 1.1em;
  line-height: 1.8em;
  list-style-image: url("red.png");
}
ul li { font-size: 1.1em; padding-left: .5em; }

ul.big {
  font-size: 1.2em;
  /*line-height: 2.4em;*/
}
ul.big li { padding-top: .9em; }

pre {
  font-size: .9em;
  /*font-family: "courier", fixed;*/
  background: #fdd;
  padding: .4em;
  border: 1px inset #e4f6ff;
  line-height: 1.2em;
  white-space: pre-wrap;
}

pre.small {
  font-size: .8em;
  line-height: 1.1em;
}

#content_tt {
  margin-left: 115px;
  margin-right: 30px;
}

.output {
  font-size: .95em;
  background: #ced;
  /* border: 1px inset #e4f6ff; */
  margin: 0;
  padding-left: .3em;
  padding-right: .3em;
}

#points li {
  visibility: hidden;
}