body {
  margin-top: 1em;
  margin-left : 5em;
  margin-right : 5em;
  background-color : #0080C0;
  font : 12px "Lucida Sans Unicode", Arial, Tahoma, Helvetica;
}
h1.title {
  font-size : 240%;
  font-weight : bold;
  color: #0C4DA2;
  text-align : center;
  margin-top: 1em;
  margin-bottom: 1em;
}
h1 {
  font-size : 160%;
  font-weight : bold;
  text-align : center;
  margin-top: 1em;
  margin-bottom: 1em;
}
h2 {
  font-size : 140%;
  font-weight: bold;
  font-style : italic;
  margin-top: 1em;
  margin-bottom: 1em;
}
h3 {
  font-size : 120%;
  font-weight: bold;
  color: #0C4DA2;
  margin-top: 1em;
  margin-bottom: 1em;
}
h6 {
  color: #034DA2;
}
h3.subsection {
  font-size : 120%;
  font-style : italic;
  font-weight: bold;
  text-indent: 1em;
  margin-top: 1em;
  margin-bottom: 0;
}
p {
  font-size : 100%;
}  
p.indent {
  font-size : 100%;
  padding-left : 1em;
  padding-right : 1em;
  padding-bottom : 1em;
}
p.footnote {
  font-size : 85%;
  text-align : center;
  font-style : italic;
}
table {
  background-color: #B2B2B2;
}
th {
  font-size : 100%;
  font-weight : bold;
}
td {
  font-size : 100%;
}
td.bold {
  font-weight : bold;
}
li {
  font-size : 100%;
}
dt {
  font-size : 100%;
  font-style : italic;
}
dd {
  font-size : 100%;
}
pre {
  font-family : monospace;
}
div.box {
  border : solid;
  border-width : thin;
  width : 100%;
}
div.color {
  background : rgb(255,204,51);
  padding : 0.5em;
  border : none;
 }
div.footer {
  font-size : 85%;
  padding-top : 1em;
  padding-bottom : 1em;
  text-align : center;
}
div.link-list {
  width : 10em;
  position : absolute;
  top: 1em;
  background : rgb(255,204,51);
  font-size : 90%;
  padding-left : 1%;
  padding-right : 2%;
  margin-left : 1em;
  margin-right : 1em;
  border : solid;
  border-width : thin;
  width : 10.2em;
}
#main {
  margin-left : 10.2em;
  margin-right : 10.2em;
  padding-left : 1em;
  padding-right : 1em;
}
#list1 {
  left : 0;
}
#list2 {
  right : 0;
}