body { 

  color: #000000;

} /* body{} */

a {

  color:           blue;
  text-decoration: none;

} /* a{} */

a:hover { 

  color: teal;

} /* a:hover{} */

a:visited {

  color: blue;

} /* a:visited{} */

h2.title {

  text-align: center;

} /* h2.title{} */

h3.revision {

  font-style: italic;

} /* h3.revision{} */

h4.back {

  font-style: italic;

} /* h4.back{} */

p.licence {

  font-style: italic;

} /* p.licence{} */

p.title {

  text-align: center;

} /* p.title{} */

/* Code formatting code stolen from http://www.oreillynet.com/styles/main.css */
/* -------------------------------------------------------------------------- */

code {

  color:       #003366;
  font-family: 'Courier New',Courier,monospace;

} /* code{} */

pre {

  clear:both;
  overflow:auto;
  background-color:#efefef;
    
  /*width:100% !important;*/
  width:600px; /*for IE, which doesn't obey !important or width:100% on pre */

  padding-bottom:0 !important;
  padding-bottom:1.5em; /* for IE which doesn't make room at the bottom of the pre for a horizontal scrollbar */

} /* pre{} */

/* -------------------------------------------------------------------------- */


span.code_edit {

  color: red;

} /* span.code_edit{} */

.danger {

  color:       red;
  font-weight: bold;

} /* .danger{} */