/* Stylesheet fuer XML Events */

/* Originalstylesheet ausgeschnitten und extern gespeichert */
      .dtd-code {  font-family: monospace; background-color: #dfdfdf; white-space: pre; border: #000000; border-style: solid; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px}
      code {
      color: green;
      font-family: monospace;
      font-weight: bold;
      }
      h4 { color: #005A9C; background: white }
      code.greenmono {
      color: green;
      font-family: monospace;
      font-weight: bold;
      }
      .example {
      border: solid green;
      border-width: 2px;
      color: green;
      font-weight: bold;
      margin-right: 5%;
      margin-left: 0;
      }
      .bad  {
      border: solid red;
      border-width: 2px;
      margin-left: 0;
      margin-right: 5%;
      color: rgb(192, 101, 101);
      }
      div.navbar { text-align: center; }
      div.contents {
      background-color: rgb(204,204,255);
      padding: 0.5em;
      border: none;
      margin-right: 5%;
      }
      .tocline { list-style: none; }
      td { text-align: left }
      .ins { background-color: yellow }
      .del { background-color: yellow; text-decoration: line-through }
      ul.acks { list-style: none }
/* Original Ende */

/* Hinzugefuegt fuer die Uebersetzung von Stefan Schumacher - Anfang */
			
      div.transheader {display: box;
                 border: solid #ccccbb; 
                 padding: 2%;
                 background: #eeeedd ;}

			.transtitle {color: #555555;
             background: #eeeedd ;
             font-weight: bolder;
						 text-align: center;}

  	  div.transnote {background-color: pink;
                 border: solid silver;}
      span.transnote, .transnote h3 {background-color: pink;}
								 
/* Hinzugefuegt fuer die Uebersetzung von Stefan Schumacher - Ende */