
/*************************************************************************
  Title
*/

.title {
   font-family: sans-serif;
   font-size: x-large;
   font-weight: bold;
   text-align: center;
   color: #cc0066;
   border: solid #cc0066;
   border-width: 2pt;
   background-color: #d0d0d0;
   padding: 0.7em;
   margin: 1em 1em 2em;
}

.undertitle {
   font-size: medium;
   color: #1166dd
}




/*************************************************************************
  Sections
*/

H1 {
   font-family: sans-serif;
   font-size: x-large;
   color: #cc0066;
   border: solid #cc0066;
   border-width: thin;
   background-color: #d0d0d0;
   padding: 0.7em;
   margin: 3em 6em 2em;
}

H2 {
   font-family: sans-serif;
   font-size: x-large;
   color: #cc0066;
   border: solid #cc0066;
   border-width: thin 5pt;
   padding-left: 0.7em;
   margin: 1em 0em;
}

H3 {
   font-family: sans-serif;
   font-size: large;
   color: #1166dd;
   border: solid #1166dd;
   border-width: thin 5pt;
   padding-left: 0.7em;
   margin: 1em 0em;
}

H4 {
   font-family: sans-serif;
   font-size: large;
   color: #1166dd;
   margin: 1em 0em;
}


H4 {
   font-family: sans-serif;
   font-size: large;
   color: #1166dd;
   margin: 1em 0em;
}

H5 {
   font-family: sans-serif;
   font-size: medium;
   color: #1166dd;
   margin: 1em 0em;
}


/*************************************************************************
  Links                                                                 
*/

A:link 
  {
    color: #1166dd;
    background-color: transparent;
    text-decoration: none;
  }

A:visited
  {
    color: #1166dd;
    background-color: transparent;
    text-decoration: none;
  }

A:active 
  {
    color: #00fa00; 
    background-color: transparent;
    text-decoration: none;
  }

A:hover
  {
    color: #1166dd; 
    background-color: transparent;
    text-decoration: underline;
  }
  


/*************************************************************************
  Misc
*/

table.sourcecode {
   background-color: #d0d0d0;
   margin: 0em 2em;
   padding-left: 0.5em;
   padding-right: 0.5em;
}

.outcode {
   color: #1166dd;
}

img {
  border-width: 0pt;
}


.listing {
   font-family: sans-serif;
   font-size: large;
   color: #1166dd;
   border: solid #1166dd;
   border-width: thin 5pt;
   padding-left: 0.7em;
   margin: 2em 0em 1em;
}
