/* ========================= *
       General settings
 * ========================= */
body {
      color:             black;
      background-color:  white;
      text-align:        left;
      font-family:       century,georgia,times,serif;
      font-size:         120%;
      margin-left:       30px;       
      margin-right:      30px;       
     }
div.code {
          font-family:  courier;
          font-size:    100%;
          line-height:  100%;
         }
/* ========================= *
          Links
 * ========================= */
a:link {
        color:              #0000CC;
        text-decoration:   none;
       }
a:visited {
           color:            #9999CC;
           text-decoration:   none;
          }
a:hover {
          color:             #6666FF;
          text-decoration:   underline;
         }
a:active {
          color:             #CC3300;
          text-decoration:   none;
         }
a.stealth:link
        {
         color:             white;
         border:            none;
         text-decoration:   none;
        }
a.stealth:visited
        {
         color:             white;
         border:            none;
         text-decoration:   none;
        }
a.stealth:hover
        {
         color:             white;
         border:            none;
         text-decoration:   none;
        }
a.external:link
       {
        color:              #CC3333;
        text-decoration:    underline;
       }
a.external:visited
       {
        color:             #CC9999;
        text-decoration:   underline;
       }
a.external:hover
       {
        color:             #FF6600;
        text-decoration:   underline;
       }
a.external:active
       {
        color:             #FFCC00;
        text-decoration:   underline;
       }
/* ========================= *
          Headers
 * ========================= */
h1   {
      text-decoration:   none;
      text-transform:    none;
      text-align:        left;
      font-family:       century,georgia,times,serif;
      font-style:        italic;
      font-weight:       bold;
      font-size:         200%;
     }