/* Style Sheet below for Normal White Background */
	body{
	  background-image: url(backgrnds/border.jpg);
	  background-attachment: fixed;
	  background-color: white;
    }
	div.color {
      background: rgb(170,170,170);
      padding: 0.5 em;
      border: thin;
    }
    div.box { 
	  border: solid;
      border-width: 1px;
      padding: 0.5em;
      width: 100%;
    }
    :link { color: rgb(0, 0, 153) }  /* for unvisited links */
    :visited { color: rgb(153, 0, 153) } /* for visited links */
    :active { color: rgb(255, 0, 102) } /* when link is clicked */
    :hover { color: rgb(0, 96, 255) } /* when mouse is over link */


/* Floating Menu Style Stuff */

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: 90% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;		/* Fallback if 'fixed' is not supported */
  top: 2em;
  left: auto;
  width: 8.5em;
  right: 2em;
}
div.banner {
  position: fixed;		/* Overrides 'absolute' above */
}
div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Times New Roman, sans-serif;
                      /* Comment out the next line to make transparent */
  background: #444;		/* Override according to type of page */
  border: thin outset #999;	/* 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: Yellow }
div.banner a:hover { background: black; color: white }

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