body {
  background: #ffffaa;
  font-size:13.0pt;
  line-height: 120%; margin-right: 1%;
}
  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; font-weight: bold;
}
p,li,ol {
  margin-left: 0%; font-family: "Georgia"; 
  font-size:13.0pt;
	margin-right:0in;
  font-weight: 650;
	color: black;
  line-height: 120%; margin-right: 1%;
  background: #ffffaa;
}

img.centered{
	display: block;
	margin-left: auto;
	margin-right: auto;
}

table{
  margin-left: 1%; font-family: "Georgia"; 
	color: black;
	font-size: 105%;
}
pre {
        margin-right:0in;
        margin-left:0in;
				font-family: "Courier";
        font-weight: 650;
				font-size: 95%;
	}
pre.box {
	font-family: "Arial";
  font-size: 14px;
  margin-left: 2.2cm;
  margin-right: 3.0cm;
  border-color: #9900ff;
  border-width: 1px;
  border-style: solid;
  padding: 6px;
  background: #ffffbb;
  }


  div.Section1
          {page:Section1;}
  h1 {
  font-family: "Arial"; text-align: center
  }
  h2 {
  font-family: "Arial";
  text-align: center
  }
  h3 { font-family: "Arial"; text-align: center }
  h4,h5,h6 { font-family: "Arial"; text-align: left }
  h2.center { font-family: "Arial"; text-align: center }
  h3.center { font-family: "Arial"; text-align: center }
  h4.center { font-family: "Arial"; text-align: center }

  TT {
  font-family: Verdana, Arial, Helvetica, "Arial";
  font-size:13.0pt;
  font-weight: 650;
	font-size: 95%;
  }
  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%;
  }
  b.ex { font-family: "Georgia"; font-weight: 650; }
  b.big { font-family: "Georgia"; font-size:135%; font-weight: 650; }
	p.centered{text-align:center;}
  p.caption {
    text-align: center;
    font-family: "Georgia";
    font-weight: bold;
    font-size: 70%;
    margin: 1.5em 20% 0 20%;
  }
  p.notice {
    text-align: center;
    font-family: "Georgia";
    font-weight: bold;
    margin: 1.5em 10% 0 10%;
  }
div.box
{
width:420px;
padding:10px;
border:5px solid gray;
margin:0px;
}