/*
	Kind contribution of Frank Ralf
*/

@namespace url(http://www.w3.org/1999/xhtml);

  
  body {
    font-family: Calibri, sans-serif;
    margin: 0 18em 0 16em;
  }
  
  a {
    color: navy; 
    text-decoration: none;
  }

  a:hover {
    color: firebrick;
    text-decoration: underline;
  }
  
  h2, h3 {
    color: teal;
  }

  table {
    margin: auto;
    width: 95%;
  }
  
  pre.programlisting {
    padding: 1em;
  }
  
  tt, pre {
    background-color: floralwhite;
  }
  
 
  pre {
    margin: 0;
  }
  
  hr + p, hr + p a {
    color: silver;
    padding: 0;
    font-size: smaller;
  }
  
  hr {
    display: none;
  }
  
  div.navfooter {
    background-color: whitesmoke;
    border-top: 1px dotted silver;
    color: gray;
  }
  
  div.navfooter a {
    border: 1px solid silver;
    padding: 0px 5px;
  }
  
  div.navfooter a:hover {
    border: 1px solid firebrick;
    text-decoration: none;
  }
  
  img[src="images/tip.png"] {
    display: none;
  }

  table[summary="Tip"] {
    border: 1px solid darkseagreen;
    background-color: honeydew;
  }
  
  table[summary="Tip"] p {
    margin: 0.5em;
  }

  i {
    background-color: lightyellow;
  }
  
  p[align="center"] i {
    background-color: transparent;
  }