/*
 * A scrolling body, a site navigation menu (div.banner) along
 * the top and a local navigation menu (div.map) along the
 * right side.
 *   
 * Some pages (e.g., QA) use DIVs with ID=Menu and ID=Logo instead of
 * class "banner" and "map" and have some other subtle differences.
 *
 * 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: 12 Sep 2002
 * Version: $Id: threepart.css,v 1.31 2003/08/16 00:01:11 bbos Exp $
 */

/* @import "hints2.css"; */

/* Colors, fonts and other basic stuff */

body {
  background: white;
  color: #33B;
  line-height: 1.3;
  text-align: justify;
  font-size: 0.8em
  font-family: "Gill Sans", GillSans, Arial, Helvetica, sans-serif }
h1, h2 {
  text-align: left;
  font-weight: normal }
a:link img, a:visited img {
  border-style: none }
h1, h3 {
  color: #00B }
h3 {
  font-weight: bold;
  font-style: italic;
  font-size: 1em;
  margin: 1em 1em 0em 0em;
/*  display: run-in */}
h2 {
  color: #00B;
  clear: both;
/*  margin-top: 3em;
    display: list-item; */
  list-style: url(right000.txt) inside }
h1, h2 {
  line-height: 1;
  font-variant: small-caps;
  letter-spacing: 0.1em }
h1:first-line { 
  font-style: italic}
h1 { 
  margin-bottom: 3em}
pre {
  text-align: left }		/* Safari 1.0b doesn't do this by default */
li {
  padding-left: 0;
  margin-left: 0 }
ul, ol {
  padding-left: 0;
  margin-left: 1.5em }
address { 
  text-align: right;
  font-style: italic }
p + p {				/* Indent rather than top margin */
  text-indent: 0em;
  margin-top: 0.8em }
p {
  margin-top: 1em;
  margin-bottom: 0 }
a:link {
  color: #037 }
a:visited {
  color: #551a8b }
a:active {
  color: #900 }
div.back {
  clear: both }

/* Some specific classes */

span.date {
  font-size: 0.8em;
  color: #999 }
span.date:after {
  content: "\A0\A0" }
p.stb {				/* Small thematic break */
  text-indent: 0;
  margin-top: 0.8em }
p.hint + p, p.alt-hint + p {
  text-indent: 0;
  margin-top: 1em }
p.remark {
  font-size: smaller}
.hide {
  display: none;
  color: white }
div.endmatter {
  clear: both;
  margin-top: 1em;
  border-top: thin solid;
  padding-top: 1em }
ul.toc {
  list-style: none }
address img {
  float: right;			/* Portrait of the author */
  width: 4em }
div.eeelogo {
/*  content: "Erratic Elephant"; logo here */
  background-image: url(elephant.gif);
  background-repeat: no-repeat;*/
  display: block;
  margin: 0em 0em 0em -12.5em;
  padding: 0.38em 1em 7em;
  text-indent: 0;
  text-align: left;
/*  margin-bottom: 3em;
  padding: 0.1em 0.1em; */
  color: #00F;
  font-size: larger;
  font-style: italic;
  letter-spacing: 0.25em }
/* Give the body some margins to make room for the two menus */

div.eeetitle {
  display: block;
  margin: -10em 0em 0em -1em;
  padding: 0.38em 1em 0em;
  text-indent: 0;
  text-align: right;
}

html {
  margin: 0 }
body {
  padding: 1em 3em 0 0;		/* Room for banner at the top */
  margin: 0 2em 5em 15em }	/* 17 is too much, but IE6 needs it */
html>body {
  margin: 0em 0em 5em 15em }

/* Local navigation menu, along the left side */

div#Menu span.dot,		/* Hide the dot between links in this style */
div#Menu hr {			/* Hide the HR inside the menu */
  display: none }

div#Menu,
div.map {
  position: absolute;
  width: 7em; height: auto;
  top: 11em; right: auto; bottom: 1em; left: 1em;
  background: #FFF /*url(dogsear.png) bottom left no-repeat*/ }
div#Menu p.navhead, div#Menu a,
div.map p, div.map > * > li, div.map h2 {
  display: block;
/* margin: top right bottom left */
  margin: 0.55em 1em 0.44em -0.9em;
  padding: 0.38em 1em;
  text-indent: 0;
  text-align: left;
/*  background: #00b /*url(sandydogsear.png)*/ bottom left no-repeat;
  color: white;
  list-style: none }		/* Remove triangle from H2 */
div.map > ul {
  margin: 0;
  padding: 0 }
div#Menu p.navhead {
  font-weight: bold }
div#Menu a,
div.map a {
  font-style: italic;
  font-size: 1.2em;
  text-decoration: none;
  color: blue }
/*  font-style: underline;*/}