p.navbar {
	margin-top: 0em;
	margin-left: 0em;
	margin-right: 0em;
	margin-bottom: 2em;
	color: black;
	/*background: #C0C0C0;*/
	padding-left : 1ex;
	padding-right : 1ex;
}

p.changed {
    border-left:solid;
    border-left-width: thin;
    border-color: red;
	padding-left : 1ex;
    }

p.swidget {
    margin-top: 1em;
    margin-left: 0em;
    margin-right: 0em;
    margin-bottom: 1em;
    border-left: thin solid red;
 /*   border-right: thin solid red;  */
    border-top: thin solid;
    border-bottom: thin solid;
    border-color: red;
    color: black;
    background: #C0C0C0;
    }

.embeddedfloat {float: right;
	margin-left: 3em ;
	background: #C0C0C0;
	}

div.banner {
  margin: 1px;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 110%;
  text-align: center;
  position: absolute;            /* Fallback if 'fixed' is not supported */
  position: fixed;
  top: 2em;
  left: auto;
  width: 8.5em;
  right: 2em;
}

                           /* for the index page of defoam */
                           /* possibly these styles will go to a separate file for speed */
   div.topcentre	 {width:100%;alignment:center;}
   
   div.topcentre > p:first-child {align:center;}             /* should work but doesn't */
     
   div.lefti		   {position:absolute; left:2px; width:32%; z-index:18; overflow:auto;padding:2px;}
   div.middlei		{position:absolute; left:33%; width:32%; z-index:19; padding:2px; overflow:auto; padding:2px;}
   div.righti		  {position:absolute; left:68%;width:32%; z-index:20;padding:2px;}

 div.footeri		 {border-top: normal single;  }
/* div.footeri		 {border-top:single;border-top-width:normal; float:none; clear:both;} */

   div.searchi		{position:absolute; z-index:1; top:1px; left:40%;right:1px; text-align:right; border: none ; padding:1px;}

div.left {
  margin: 0;
  text-align: left;
  position: absolute;            /* Fallback if 'fixed' is not supported */
  position: fixed;
  top: 6em;
  left: 2em;
  width: 8.5em;
  right: auto;
}

div.right{
  margin: 0;
  text-align: center;
  position: absolute;            /* Fallback if 'fixed' is not supported */
  position: fixed;
  /*top: 6em; */
  right: 2em;
  width: 8.5em;
  left: 400px;
}

div.middle{
  margin: 10%;
  text-align: left;
  position: absolute;            /* Fallback if 'fixed' is not supported */
  position: fixed;
  /* top: 6em;  */
  /*right: 2em;  */
  width: 50%;
  left: 25%;
}

div.notes	{margin-left:5%;margin-right:5%;}
div.tool	 (margin-left:5%; border: thin solid;}

   ul	{ list-style-type:none;}   p    {margin-top:0em;margin-bottom:0em;}
   li    {margin-top:0em;margin-bottom:0em;}
   a:hover	{background-color:yellow;text-decoration:underline;}
/*   alink {hover:background-color:yellow;}      */
   h1 {font-size:small;margin-bottom:1px;margin-top:1px;}

   .lowheader { margin-top: 0em; margin-bottom: 0em; height: 1em; }
   h3.lowheader { margin-bottom: 0em; height: 1em;}


p.attribution {text-align:center;}
p.tc			{text-align:center;}

