html {

 height:100%; 

 max-height:100%; 

 padding:0; 

 margin:0; 

 border:0px none; 

 background:#fff; 

 font-size:76%; 

/* hide overflow:hidden from IE5/Mac */ 

/* \*/ 

 overflow:hidden;

 font-family:verdana, arial, sans-serif;

 }





body {

 height:100%; 

 max-height:100%; 

 overflow:hidden; 

 padding:0; 

 margin:0; 

 border:0;

 border:none;

 }





#header {

 position:absolute; 

 z-index:6; 

 margin:0; 

 top:0; 

 left:0; 

 right:0;

 display:inline; 

 height:20px; 

 overflow:auto; 

 background:rgb(200,200,200);

 border-bottom:1px solid black;

 }

 * html #header {

 width:100%; 

 top:0; 

 bottom:0; 

 margin:0;

 padding:0;

 border-right:0px solid #fff; 

 }



#content {

 position:absolute; 

 z-index:3; 

 top:20px; 

 bottom:20px; 

 right:0px; 

 left:0; 

 overflow:auto; 

 background:white;

 text-align:center;

 }



* html #content {

 top:0; 

 left:0; 

 right:0; 

 bottom:0; 

 height:100%; 

 max-height:100%; 

 width:100%; 

 overflow:auto; 

 position:absolute; 

 z-index:3; 

 border-top:20px solid #fff; 

 border-bottom: 20px solid #fff; 

 border-right:0px solid #fff;

 }

#header p {

  text-indent:0px;

  text-align:center; 

  margin:2px 0px 0px 0px;

  padding:0;

}

#footer {

 position:absolute; 

 z-index:5; 

 margin:0; 

 bottom:0; 

 left:0; 

 display:inline; 

 width:100%; 

 height:20px; 

 text-align:center;

 overflow:auto;

 background:rgb(200,200,200);

 border-top:1px solid black;

}

#footer p {

  text-indent:0px;

  text-align:center;

  color:black; 

  margin:1px 10px 0 10px;

  padding:0;

}

.lft  {float:left;}

.rgt  {float:right;}



a:link      {color: #0000FF;}

a:visited   {color: #800080;}

a:hover     {color: #FF0000; text-decoration: none;background:#ffe}








.fs110 p {font-size:110%;padding-top:5px;padding-bottom:5px;}





div.sb {margin:5px 5px 5px 30px;padding:0;border:0px solid red}

.sb p {text-indent:0;font-size:80%; border:0px solid blue}

p.sbn {text-indent:-15px;margin-top:25px;font-size:100%}



div.seq {padding:10px 0 10px 0;}

.seq p{

cursor:default;

font-size:12px;

font-family: Courier New, Courier, monospace;

text-indent:0; 

margin:0;

padding-bottom:0px;

padding-top:0px;

border:0px solid green;

}



* html .seq p{font-size:100%}



hr {

clear:both; 

width: 95%; 

border:none; 

height:1px; 

color:#000; 

background-color:#000;}


.seq pre{
text-align:left;
cursor:default;
font-family: Courier New, Courier, monospace;
font-size:12px;
text-indent:0;
margin:0 20px 0 20px;
padding:0;
border:0px solid green;
}

* html .seq pre {font-size:100%;}





#normal {font-size: 100%;}

#current {font-size: 100%;background:#c0c0c0;}









ul {text-align:left;}



h1 {margin-top: 15px; margin-bottom: 2px;color: rgb(150,0,0);}

h2 {margin-top: 2px; margin-bottom: 10px;color: rgb(150,0,0);}

h3 {margin-top: 2px; margin-bottom: 5px;color: rgb(150,0,0);}



h4, h5, h6  {

 margin-top: 20px; 

 margin-bottom: 3px;

 margin-left: 10px;

 text-align:left;

 text-decoration: underline;

 }



h5, h6 {font-weight: normal;}



h1	{font-size: 2em};

h2	{font-size: 1.5em;}

h3	{font-size: 1em;}

h4	{font-size: 1em;

 padding-left:15px;

}

h5  {font-size: 0.833em;}

h6	{font-size: 0.625em;}



p {

 text-indent: 20px;

 text-align:justify;

 padding-left:20px;

 padding-right:20px;

 padding-bottom:3px;

 padding-top:3px;

 margin-left:0px;

 margin-right:0px;

 margin-top:0px;

 margin-bottom:0px;

 }



.ni15 { text-indent: -15px;}

.i0 { text-indent: 0px;}
h3.je {font-size: 95%; font-weight: bold; text-decoration: none; text-align: left;margin-left: 10px; }
ol.je {text-align: left;margin-left: 30px;}
ol.je li { text-align: left;margin-left: 30px; }