/* General stuff */

body { 
  background-color: rgb(144,136,164);
  margin: 0;
  font-family: sans-serif;
  color: white;
  width: 800
}

a {
  text-decoration: none;
  color: rgb(80,64,128);
}

a:hover {
  text-decoration: underline;
}

p {
  text-indent: 1em;
  text-align: justify;
  margin: .25em 3em;
  color: white;
}

p.noindent {
  text-indent: 0em;
}

li {
  list-style-type: circle;
  text-align: justify;
  margin: .25em 3em;
}

dl {
  margin: .25em 3em;
}

dt {
  display: table;
  margin: .5em 0em;
  padding: 0em 1em;
  border-style: solid;
  border-width: thin;
  color: rgb(80,64,128);
  background-color: rgb(224,224,224);
  border-color: rgb(80,64,128);
}

dd {
  text-align: justify;
}

/* The menu */

a.menu {
  text-decoration: none;
  color: white;
}

a.menu:hover {
  color: rgb(224,224,224);
  text-decoration: underline;
}

td.menu {
  padding-top: 1em;
  padding-bottom: 1em;
}

table.menu { 
  width: 100%;
}

.menu { 
  font-weight: bold;
  background-color: rgb(80,64,128);
  text-align: center;
  margin-bottom: 1em;
}

/* The status line */

table.status {
  width: 100%;
}

.status { 
  font-weight: normal;
  font-size: small;
  background-color: rgb(80,64,128);
  text-align: right;
  margin-top: 1em;
}

td#sflogo {
  text-align: left;
  vertical-align: middle;
}

/* Section headings */
.section1 {
  width: 90%;
  text-align: left;
  font-size: medium;
  font-weight: bold;
  white-space: nowrap;
  margin: 1em 5%;
  padding: 0em 1em;
  border-style: solid;
  border-width: thin;
  color: rgb(80,64,128);
  background-color: white;
  border-color: rgb(80,64,128);
}

.section2 {
  width: 90%;
  text-align: left;
  font-size: medium;
  font-weight: normal;
  white-space: nowrap;
  margin: 1em 5%;
  padding: 0em 1em;
  border-style: solid;
  border-width: thin;
  color: rgb(80,64,128);
  background-color: white;
  border-color: rgb(80,64,128);
}

.sectionnav {
  text-align: right;
}

.sectionimg {
  border-style: none;
}

/* Example code */
.example {
  display: table;
  margin-left: 5em;
  text-decoration: none;
  padding: 0em 1em;
  border-style: solid;
  border-width: thin;
  color: rgb(80,64,128);
  background-color: rgb(224,224,224);
  border-color: rgb(80,64,128);
}