@import url("../basic_layout.css");

/*
 * CSS ideas taken from a variety of sources including:
 *    http://gemal.dk/mozilla/mozdev.html
 *    http://www.htmldog.com/articles/suckerfish/example/
 *    http://www.w3.org/Style/banner.css
 *
  Style sheet for the navigation banner at the top of the page.
  Copyright © 2003 W3C® (MIT, ERCIM, Keio). All Rights Reserved.
  See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright

  Author: Bert Bos <bert@w3.org>
  Created: 26 July 2000
  Version: $Id: main.css,v 1.10 2005/01/04 20:15:24 dburke Exp $
*/

div.maincol {
  background: white;
  width: 80%;
  left: 0;
  top: 0;
  right: auto;
  border: 1px solid black;
}

div.main {
  padding: 1em;
}

div.topbannercol {
  position: fixed;
  width: 20%;
  right: 0;
  left: auto;
  top: 0;
  bottom: 0;
  border: 0;
  padding: 0;
}

div.banner {
  margin: 1em;
  line-height: 1.1;
  background: #cccccc;
  border: thin solid black;
  font-family: monospace;
}

div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
}

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

div.banner p.header { font-size: 80%; color: black; }

div.banner h2.title {
  border: none;
  font-size: 100%;
}

div.banner ul {
  padding: 0;
  margin: 0;
  list-style: none;
}

div.banner li {
	   display: block;
	   padding: 0 0.3em;
}

div.banner li:hover {
	padding: 0 0.1em;
	border: 0.1em solid #7d6340;
	border-width: 0 0.2em;
}

/* end */