/* ------------------------------------------------------------------------
   L A Y O U T - B E R E I C H
   ------------------------------------------------------------------------ */

.tabular 
{ 
  margin-left: 0%;
  margin-right: 0%;
  margin-top: 0%; 
}


#rumpf 
{ 
  margin-top: 10pt;
  margin-left: 2%;
  margin-right: 3%;
}

#menue 
{

}

#fuss
{
  margin-top: 40pt;
}

#inhalt 
{
  margin-left: 2%;
}




/* --------------------------------------------------------------------
   ALLGEMEIN
   -------------------------------------------------------------------- */

body
{ 
  font-size: small;
  font-family: Helvetica, Arial, sans-serif;
}

/* --------------------------------------------------------------------
   N A V I G A T I O N S  Z E U G
   -------------------------------------------------------------------- */

#menue a { 
  text-decoration: none; 
}

.curpage { 
  color: #800000; 
  font-weight: bold; 
}

.curpage A { color: #000000; }
.curpage A:link { color: #000000; }
.curpage A:visited { color: #000000; }

.toplevel A { color: #000000; }
.toplevel A:link { color: #000000; }
.toplevel A:visited { color: #000000; }


.descendant A { color: #000000; }
.descendant A:link { color: #000000; }
.descendant A:visited { color: #000000; }
.descendant 
{ 
  position: relative;
  left: 10pt;  
}



/* --------------------------------------------------------------------- 
   Ü B E R S C H R I F T E N, T I T E L
   --------------------------------------------------------------------- */

h1, h2, h3, h4, h5, .title { 
  color: #800000;
}

/*
 * Durch diese Einstellung wird sichergesellt, daß der obere Rand
 * der ersten H1-Überschrift sich auf der gleichen Höhe befindet,
 * wie der obere Rand der Navigation.
 */
#inhalt h1 { 
   margin-top: 0px;
}

/* --------------------------------------------------------------------
   V E R W E I S E - A L L G E M E I N
   -------------------------------------------------------------------- */

a:link { color: #800000; }

a:visited { color: #808080; }

a:hover { 
  color: #800000;
}


/* --------------------------------------------------------------------
   F U S S Z E I L E
   -------------------------------------------------------------------- */

.navfoot {
  margin-bottom: 50px; 

  border-top-style: dotted;
  border-top-color: grey;
  border-top-width: 1pt;

  font-size: x-small;
}

/* --------------------------------------------------------------------
   F Ü R  F R A G E N   U N D  A N T W O R T E N
   -------------------------------------------------------------------- */

.qandaset tr.toc dl
{ 
  margin-top: 5pt;
  margin-bottom: 5pt;
}

.qandaset tr.question p, .qandaset tr.answer p { 
  margin-top: 0pt;
  margin-bottom: 5pt;
}


/* --------------------------------------------------------------------
   T E X T Z E U G
   -------------------------------------------------------------------- */

.abstract 
{ 
  margin-bottom: 30pt;
  margin-right: 10%;

  font-stretch: expanded;
}

.footnotes hr { 
  border-style: none;
}

/* --------------------------------------------------------------------
   B L O C K Z I T A T E ,   Z I T A T E
   -------------------------------------------------------------------- */

.blockquote-title { 
  color: #800000;
}


/* --------------------------------------------------------------------
   T A B E L L E N  E T C
   -------------------------------------------------------------------- */

table { 
  border-collapse: collapse;
}

table[border="1"] td,
table[border="1"] th 
{ 
  padding-left: 5pt;
  padding-right: 5pt;
  padding-top: 5pt;
  padding-bottom: 5pt;
}

table[border="0"] td,
table[border="0"] th { 
  padding-left: 0pt;
  padding-right: 10pt;
  padding-top: 5pt;
  padding-bottom: 5pt;
}

.informaltable table[border="1"] { 
  border-width: 1pt;
  border-color: #000000;
} 

.informaltable table[border="0"] { 
  border-width: 0pt;
} 


.table table[border="1"] { 
  border-width: 1pt;
  border-color: #000000;
} 

.table table[border="0"] { 
  border-width: 0pt;
} 

/*
 * Gedacht für Absätze (<p>) innerhalb von Tabellenzellen. So wird
 * sichergestellt, daß der Abstand zum oberen Zellenrand stimmt.
 */
table td p { 
  margin-top: 0pt;
}

/* --------------------------------------------------------------------
   A N M E R K U N G E N
   -------------------------------------------------------------------- */

.tip, .warning, .caution, .note
{ 
  padding-left: 20pt; 
}

/* --------------------------------------------------------------------
   L I S T E N  U N D  S O  E I N  Z E U G
   -------------------------------------------------------------------- */

.variablelist dl dt { 
  margin-top: 10pt;
}

.variablelist dl dd p { 
  margin-top: 0pt;
}

/* --------------------------------------------------------------------
   E B N F - M O D U L
   -------------------------------------------------------------------- */

table.productionset  { 
  background: #ffffff;
}

table.productionset table { 
  border-width: 0pt;
}

table.productionset { 
  border-width: 1pt;
  border-collapse: collapse;
  border-color: #000000;
}

.productionset  th 
{ 
  color: #800000;
}

.productionset 
{ 
  color: black;
}

/* --------------------------------------------------------------------
   A L L E S   W A S   M I T   R E C H N E R N   U N D   Q U E L L E N 
   Z U   T U N   H A T
   -------------------------------------------------------------------- */

b.command { 
  font-family: Courier, 'Courier New', monospace;

  font-weight: normal;
  color: #003366;
}

.literal, .function, .varname, .classname, .methodname, 
.sgmltag-element, .literal, .screenshot, .screen, .programlisting  
{ 
  font-family: Courier, 'Courier New', monospace;
  color: #003366;
}