/* Give the body some margins to make room for the two menus */

html 
{
  margin: 0 
}
  
  
html>body 
{
  padding-right: 14em 
}	

/* Colors, fonts and other basic stuff */

body {
  background: white;
  color: #333;
  line-height: 1.3;
  text-align: justify;
 
  position: relative;		/* Make containing block for the menus */
  padding: 2em 10em 5em 2em;	/* Room for banner at the top */
  margin: 0  
  }
h1 {
  line-height: 1;
  text-align: left;
 white-space: nowrap;
  border-bottom: thin solid;
  padding-left: 1em;
  font-weight: bold ;	
  font-family: Monospace; 

  /*font-variant: small-caps;*/
  }
  
a:link img, a:visited img 
{
border-width: 3px;
border-color: #541C1C;
border-style: solid;
  
  }
h1, h2, h3
 {
  color: #541C1C 
  text-transform: lowercase;
  }
h3 {
text-transform: lowercase;
  font-weight: bold;
  font-size: 1em;
  margin: 1.5em 1em 1em 0;
  display: run-in ;}
h3.subtitle {
  font-weight: normal;
  font-style: italic;
  margin: 1em 0;
  display: block;
  text-align: left }
h2 {
  font-weight: bold ;	
  font-family: Monospace; 
text-transform: lowercase;
  /*font-variant: small-caps;*/
  text-align: left;
  line-height: 1;  
  padding: 0 0 0.2em 0;
  clear: both;
  margin-top: 1em }
div.section {
  clear: both }
pre {
  text-align: left }		/* Safari 1.0b doesn't do this by default */
li 
{
  font-weight: normal ;	
  font-family: Monospace; 
/*font-variant: small-caps;*/
  padding-left: 0;
  margin: 1.2em 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: 1.5em;
  margin-top: 0 }
p {
  margin-top: 1em;
  margin-bottom: 0 }
dd {
  padding-left: 1.5em;
  margin-left: 0 }
a:link {
  color: #037 }
a:visited {
  color: #551a8b }
a:active {
  color: #900 }
a:hover {
  background: #999;
  color: #FFF;
  outline: solid red }
a:hover * {			/* Work-around for Konqueror 3.1 */
  background: inherit }
div.back {
  clear: both }

/* Some specific classes */

span.date {
  font-size: 110%;
  font-weight: bold;
  line-height: 0.9 }
span.date:after {
  content: "\A0\A0" }
p.stb {				/* Small thematic break */
  text-indent: 0;
  margin-top: 0.6em }
p.hint + p, p.alt-hint + p, p.skip + p {
  text-indent: 0;
  margin-top: 1em }
p.remark {
  font-size: smaller}
@media screen, projection, print, handheld { 
  .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 */
  margin-left: 0.5em;
  width: 4em }
dl.compact {			/* A DL as a single para, with ¶ */
  padding: 0;
  margin-left: 0;
  margin-right: 0 }
dl.compact dt {
  display: run-in;
  font-weight: bold;
  margin: 0;
  padding: 0 }
dl.compact dd {
  margin: 0;
  padding: 0 }
.skip {				/* Navigation for handhelds */
  display: none }



  
  
/* 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: 10em; height: auto;
  top: 6em; 
  right: auto; 
  bottom: 1em; 
  left: 2.7em;
/*  background: #DDB url(dogsear.png) bottom right no-repeat*/ 
}

div#Menu p.navhead, div#Menu a,div.map p, div.map li, div.map h2 
{
  display: block;
  font-size: medium;
  margin: 0.55em 1.63em 0.44em -0.9em;
  padding: 0em 1em;
  text-indent: 0;
  text-align: left;
  background: #541C1C;
  color: white;
  border-bottom: none;		/* Remove rule under H2 */
  list-style: none 
}		/* Remove triangle from H2 */
div.map li li 
{			/* Nested LIs don't get the dogear */
  margin: 0;
  padding: 0;
  background: #541C1C;
  color: white
}
div.map > ul 
{
  margin: 0;
  padding: 0 
 }
div#Menu p.navhead 
{
  font-weight: bold 
}
div#Menu a:link, div#Menu a:visited,div.map a:link, div.map a:visited 
{
  font-style: italic;
  text-decoration: none;
  color: white 
}
div.map a:hover 
{
  background: #541C1C;
  color: #257D7D 
}

div.mainpanel
{

  position: absolute;
  width: auto; height: 100%;
  top: 0em; 
  right: auto; 
  bottom: auto; 
  left: 14em;

  
 font-family: Monospace;
/* text-transform: lowercase;*/
 text-align: left;
 padding-left: 20px;
 padding-right: 5px;
 padding-bottom: 20px;

 
 /*border: thin solid #541C1C;
*/
 
}