body div.banner { display: block }  /* Overrides 'none' in banner-*.css */

.logo { display: none }		/* No need for two W3C icons */

div.banner {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
border:2px solid #888; padding:8px; position: fixed;
  text-align: center;
  position: absolute;		/* Fallback if 'fixed' is not supported */
  top: 20em;
  left: auto; 
  width: 11.5em;
  right: 2em; 
}
/* WinIE6 gets confused by 'fixed', so hide it.
   Selector trick courtesy of Johannes Koch, see
   http://pixels.pixelpark.com/~koch/hide_css_from_browsers/
*/
div.endmatter>div.banner {
  position: fixed;		/* Overrides 'absolute' above */
}
div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
background: url(./semi2x2b.png) transparent ;
 /* background: #954;		 Override according to type of page */
  border: thin outset #945;	/* Override this color together with bg */
  color: white;
}

/*
div.banner a { display: block; margin: 0 0.5em }
div.banner a + a { border-top: 2px groove #999 }
*/
div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 2px groove #999 }
div.banner a:first-child { border-top: none }
div.banner em { color: #CfC }

div.banner a:link { text-decoration: none; color: white }
div.banner a:visited { text-decoration: none; color: #CCe }
div.banner a:hover { background: black; color: white }

 div.banner img { height: 70px; float: none; vertical-align: middle } 

/*
div.banner p:after {
  content: "Navigate";
  font-weight: normal;
  display: block;
  width: 6em;
  margin-bottom: -1.6em;
  margin-top: 0.2em;
  margin-right: auto;
  margin-left: auto;
  background: #FF6;
  color: #037;
  border: thin solid #005A9C;
  text-align: center;
  padding: 0.15em;
}
*/