/* slide stylesheet */

/* Default sizes for 800x600 in case there's no specific size stylesheet: */
body { font-size: 27px; }
table { font-size: 27px; }

/* Now import the size-specific one:
@import url(slides1024.css);
*/

/* Comment this out to make navigation controls visible: */
#navigation {
  display: none;
}

body {
  background: white url(hfade.jpg) repeat-y;
  margin-top: 0em;
  line-height: 1.35em;
  margin-left: 115px;
  margin-right: 30px;
}

.title {
  line-height: 1.1em;
}

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

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

h2 {
  font-size: 1.22em;
}

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

ul.big {
  font-size: 1.3em;
  /*line-height: 2.4em;*/
  padding-top: .5em;
}
ul.big li { padding-top: 1em; }

pre {
  font-family: lucidatypewriter;
  background: #fdd;
  padding: .4em;
}

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

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

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

#points li {
  visibility: hidden;
}