/* slide stylesheet for 1024x768 */

#navigation {
  /* Comment this out to make navigation controls visible: */
  /*display: none;*/
  position: absolute; top: 5px; right: 10px;
  font-size: 12pt;
}

body {
  background: white url(pix/hfade.jpg) repeat-y;
  margin-top: 0em;
  font-size: 46px;
  line-height: 1.4em;
  font-family: Times New Roman,Georgia,Serif;
}

table { font-size: 40px; }

th, td { text-align: left; padding: 10px; }
th { padding-right: 20px; }

#page {
  height: 90%;
  background: url(pix/bigwilber.png) no-repeat bottom right;
}

h1 {
  font-size: 1.55em;
  padding-top: .1em;
}

h2 {
  font-size: 1.2em;
}

ul {
  line-height: 1.5em;
  list-style-image: url("pix/red.png");
}

ul li {
  padding-left: .4em;
}

ul ul {
  list-style-image: url("pix/wilber-bullet.png");
}

dl {
  font-size: .85em;
  line-height: 1.35em;
}

dt { font-weight: bold; font-style: italic; margin-top: .5em; }

pre {
  font-size: .72em;
  line-height: 1em;
  background: #fdd;
}

.smallpre {
  font-size: .6em;
}

code { color: #900; font-weight: bold; }

.title {
  line-height: 1.1em;
  margin-left: 90px;
}

#content {
  margin-left: 140px;
  margin-right: 30px;
}

.center {
  margin-right: 140px;
  text-align: center;
}

#picture {
  text-align: center;
}

.note {
  font-size: .8em;
  font-style: italic;
  color: #f0a;
  /* This doesn't work and I hate CSS: */
  margin-bottom: 30px !important;
}

.url {
  font-size: .8em;
  font-style: italic;
  color: #00f;
}

.longurl {
  font-size: .4em;
  font-style: italic;
  color: #00f;
}

#points li {
  visibility: hidden;
}