/* chapter 13 */

  
 body {margin: 0; padding: 0; color: black;
  background: white url(blue.gif) 80% 0 repeat-y;
  font: 15px "Trebuchet MS" Georgia, "Times New Roman" Georgia Times serif; line-height: 1.5em;}  

h1, h2, h3, h4, h5, p, pre, table, div {margin-right: 22%;
  margin-left: 8%;}
  
   h1 {line-height: 1em;}
  
div.listing pre {border: 1px solid #003; border-width: 1px 0;
  padding: 0.5em 1em; margin: 0.125em 0 1.5em;}
div.listing h5 {margin-left: 0.5em;}
table {border: 1px solid #003; border-width: 2px 0;
  font-size: 90%; margin-bottom: 1.5em; width: 70%;}
th {color: #003; border-bottom: 1px solid #003; text-align: left;}
th, td {padding: 0.125em 0.66em;}
ul, ol {margin-right: 25%; margin-left: 13%; padding: 0;}
h1, h2, h3, h4 {font-variant: small-caps;}
h3, h4, h5 {margin-top: 1.25em; margin-bottom: 0;}
h1 {font-size: 200%; border-bottom: 2px solid white;
  margin: 0.5em 0 0.5em 0; padding: 0 0 0.125em 10%;}
h2 {font-size: 150%; margin: 0 0 0.66em 10%;}
h3 {font-size: 130%;}
h4 {font-size: 110%;}
h5 {font-size: 100%;}
h5 span {color: #003; margin-right: 0.5em;}
p {margin-top: 0.5em; margin-bottom: 1em; line-height: 1.2em;}
code, pre {font-family: "Courier New", Courier, monospace;}
code {color: #003;}
pre {margin-left: 10%; font-size: 95%;}
pre b {color: maroon; font-weight: normal;}


div#masthead {margin: 0 20% 3.5em 0; padding: 2em 0 1.5em 0;
  border: 1px solid #333; border-width: 0 1px 1px 0;
 /* background: #BDF;} */
   background: #DDD;}
 
div#masthead blockquote {font-size: 90%; font-style: italic;
  margin: 2em 22% 0.5em 10%;} 
 
div#attrib {font-size: 90%; font-style: italic;
  text-align: right; font-variant: small-caps;}
  
div#previews {float: right; width: 33%; margin: 0; text-align: center;}
div#previews img {width: 80%; margin: 3em 1em 0em 1em;
  padding: 5px 5px 5px 5px;}
div#previews {float: right; width: 33%; margin: 0; text-align: center;}
div#previews img {width: 60%; margin: 1em 1em 0em 1em;
  padding: 1px 1px 1px 1px;}



ul li {list-style: outside square url(diamond.gif);
  margin-bottom: 0.5em;}
div.note {float: right; clear: right; border-width: 0;
  width: 18%; margin: 0 1% 0 0; padding: 0;
  text-align: right; font: 80% Arial, Verdana, Helvetica, sans-serif;
  background: transparent url(blue.gif) 50% 15px repeat-x;
  voice-family: "\"}\""; voice-family:inherit;
  width: 19%;}
div.note h5, div.note p {text-align: left;
  margin-left: 1em; margin-right: 1.5em;}
div.note img {height: 30px; width: 30px; margin: 0;}
div.note h5 {margin: -5px 30px 0 1em; padding: 0;
  font-variant: normal;}
div.web p {margin: -10px 30px 0 1em;}
div.note code, div.caption code {font-size: 100%;}
div.web {color: #003;}
div.tip {color: #003;}
div.warn, div.warn code {color: maroon;}
hr {clear: both; visibility: hidden;}
div.figure {float: left; width: 67%; margin: 0; padding: 0;
  text-align: right;}
div.caption {float: right; width: 30%; margin: 0 1% 0 0;
  padding: 0 0 0 40%;
  border-top: 1px solid #003;
  voice-family: "\"}\""; voice-family:inherit;
  width: 19%; padding-left: 10%;}
div.caption h5 {margin: 0 1.2em 0 0; padding: 0.33em 7px 0 0.5em;
  color: #333; letter-spacing: 1px;
  background: #DDD url(captioncurve.gif) bottom right no-repeat;}
div.caption p {font: italic 80% Arial, Verdana, Helvetica, sans-serif;
  color: #111; margin: 0; padding: 0.45em 1em;}
  
 /* my styles */  
 
 div#logo1 {font-size: 300%;
  margin: 0.5em 0 0.5em 0; padding: 0 0 0.125em 10%;  text-align: center;}
 div#logo2 {font-size: 200%; 
  margin: 0.5em 0 0.5em 0; padding: 0 0 0.125em 10%;  text-align: center;}
  

 div#address {font-size: 94%; text-align: center;}
 p .inFigure {float: right;  margin: 1em 0px 1em 1em; padding: 0 0 0 0;
  text-align: left;}
 div.copyright {font-size: 80%; text-align: center;}
 
 div.zitat {font-size: 95%; font-style: italic;
  margin: 2em 22% 0.5em 10%;} 
 
  
 div#sidebar {font-size: 80%; float: left; width: 15%; margin: 0em 30px 30px 30px; padding: 0 0 15px;
  background: url(arrow.gif) 100% 96% no-repeat;}
  #sidebar ul {list-style: none; margin: 0 10px 0 0; padding: 0 0px 10px 0;
  border-right: 1px double rgb(10%,10%,10%);}
#sidebar h4, #sidebar ul {margin: 0 7px 5px 0;}
#sidebar li {list-style: none;  padding: 0.5em 0 0.25em;
  border-bottom: 1px solid rgb(80%,80%,80%);}
#sidebar a {text-decoration: none;}
#sidebar a:link {color: rgb(10%,10%,10%);}
#sidebar a:visited {color: rgb(30%,20%,30%);}
 
 div#links {float: left; width: 18%; margin: 0em 30px 30px 30px; padding: 0 0 15px;
    background: url(arrowRechtsKlein.gif) 99% 87% no-repeat; font-size: 90%}
 #links ul {list-style: none; margin: 0 10px 0 0; padding: 0 0px 10px 0;
  border-right: 1px double rgb(10%,10%,10%);}
#links h4, #links ul {margin: 0 7px 5px 0; color:rgb(10%,10%,10%); }
#links li {list-style: none;  padding: 0.5em 0 0.25em;
  border-bottom: 1px solid rgb(80%,80%,80%);}
#links a {text-decoration: none;}
#links a:link {color: rgb(10%,10%,10%);}
#links a:visited {color: rgb(30%,20%,30%);}
 
 h2 white {color: white;}
 
 
div.listNoDecor ul {margin-right: 22%; margin-left: 0%; padding: 0 0 0 0;} 
div.listNoDecor ul li{list-style: none; margin-right: 0; margin-left: 0%; padding: 0 0 0 0;
 font-size: 100%}

div.listingNoBorder pre {
  padding: 0.5em 1em; margin: 0.125em 0 1.5em;}
  
  p.pull {float: right; width: 40%; padding: 0.5em 0 0.5em 0; margin: 0.5em 23% 0.5em 1em;
   font-size: 95%;   border: 1px solid #DDD; border-width: 1px 0px 1px 0;}
   
  div.figure2 {float: left; width: 35%; margin: 0; padding: 0;
  text-align: right;}
  
  div.caption2 {float: right; width: 30%; margin: 0 1% 0 0;
  padding: 0 0 0 0%;
  border-top: 1px solid #003;
  voice-family: "\"}\""; voice-family:inherit;
  width: 19%; padding-left: 0%;}
  
  div.caption2 h5 {margin: 0 1.2em 0 0; padding: 0.33em 7px 0 0.5em;
  color: #333; letter-spacing: 1px;
  background: #DDD url(captioncurve.gif) bottom right no-repeat;}
  
div.caption2 p {font: italic 80% Arial, Verdana, Helvetica, sans-serif;
  color: #111; margin: 0; padding: 0.45em 1em;}
  
 p.kursiv {font-style: italic;}

p {font: 15px Georgia, "Times New Roman" Georgia Times serif; line-height: 1.5em;}


a:link { margin: 0 0px 0 0; padding: 0px 0px 0px 0px;
   text-decoration: none;
   font: normal 100% Arial, Verdana, sans-serif;
   border-right: 1px solid rgb(100%,98%,96%);
   color: rgb(30%,30%,80%); background: transparent;}
a:visited {font-weight: normal;   text-decoration: none; color: rgb(25%,25%,50%);}

div.home a:link {font-variant: small-caps; margin-top: 1.25em; margin-bottom: 0; 
font-size: 110%;}
div.home a:visited {font-size: 110%; font-variant: small-caps; font-weight: normal;   text-decoration: none; color: rgb(25%,25%,50%);}
#sidebar div.home {margin: 0 7px 5px 0;}