body {
  background: #ffffaa;
  :link #0000ff;
  text: "black"
  :vlink #e500ff;
  :alink #ff0000;
  margin-left: 8%; font-family: "Arial"; color: black;
  line-height: 120%; margin-right: 8%;
  }
  a:link    {color:#900B09; background-color:transparent}
  a:visited {color:#900B09; background-color:transparent}
  a:active  {color:#FF0000; background-color:transparent}
  a:hover   {color:#FF0000; background-color:transparent}

span.note{
  color: red;
  font-style: italic;
}
  div.Section1
          {page:Section1;}
  h1 {
  font-family: "Arial"; text-align: center
  }
  h2 {
  font-family: "Arial";
  text-align: center
  }
  h3,h4,h5,h6 { font-family: "Arial"; text-align: left }
  TT {
  font-family: Verdana, Arial, Helvetica, "Arial";
  font-size:11.0pt;
  font-weight: 670;
  }
  em {
	font-family:"Times";
  font-size:11.0pt;
	}
  address {
  font-size: medium; font-style: italic; text-align: right
  }
  a.mailto:link {
  color: black; background-color: white
  }
  a.mailto:visited {
  color: black; background-color: white
  }
  span.pendingduedate {
  color: red
  }
  div.figure {
  margin-left: auto; margin-right: auto; 
  display: block; text-align: left;
  width: 80%;
  font-family: "Courier";
	font-size:14.0pt;
  }
  b.ex { font-family: "Arial"; }
  p.caption, {
    text-align: center;
    font-family: "Arial";
    font-weight: bold;
    font-size: 70%;
    margin: 1.5em 20% 0 20%;
  }

p
	{margin-right:0in;
	margin-left:0in;
	font-size:14.0pt;
	font-family:"Times";
	}
pre {
		margin-right:0in;
	margin-left:0in;
	font-size:14.0pt;
    font-family: "Courier";
	}
table
	{margin-right:0in;
	margin-left:0in;
	font-size:12.0pt;
    font-family: "Times";
	}
table.Dir
	{margin-right:0in;
	margin-left:0in;
	font-size:12.0pt;
		border-style: none none none none;
    font-family: "arial";
	}
	}
table.Dir tr
	{margin-right:0in;
	margin-left:0in;
	font-size:12.0pt;
		border-style: none none none none;
    font-family: "arial";
		padding: 5px 5px 5px 5px;
	}
table.Dir td
	{margin-right:0in;
	margin-left:0in;
	font-size:12.0pt;
		border-style: none none none none;
    font-family: "arial";
		padding: 5px 5px 5px 5px;
	}
menu
	{margin-right:0in;
	margin-left:0in;
	font-size:14.0pt;
	font-family:"Times";
	}