body
    { width: 100%;
      background-color: #ffffff;
      margin: 0;
    }

div.header
{
    width: 100%;
    height: 80px;
    background       : url( /img/banner.png);
    background-repeat: no-repeat;
    background-color : #ffff20;
    margin-bottom: 0px;
    padding-bottom:5px;
    padding-top:0px;
    margin-top: -15px;
    border-bottom: 1px solid #CA30E8;
}

div.header p.tagline
{   text-align    : left;
    font-size     : 15px;
    font-style    : italic;
    font-family   : sans-serif;
    padding-top   : 65px;
    margin-left  : 300px;
    margin-bottom : 5px;
  }

div.main_block
  { float: left;
    display: inline;
    width: 1020px;
    margin-top: 0px;
    margin-right: 5px;
    margin-left: 0px;
    padding-top: 2px;
    padding-left:  0px;
    padding-right: 0px;
  }

div.left_column
  { float: left;
    display: inline;
    width: 150px;
    margin-right: 5px;
    padding-top: 10px;
    margin-top:-2px;
    background-color: #ffff40;
    border-right: 1px solid #CA30E8;
    border-bottom: 1px solid #CA30E8;
  }


div.content
  { float: left;
    display: inline;
    width: 620px;
    background-color : #ffffff;
    text-align : justify;
    padding-left:  5px;
    padding-right: 5px;
    margin-right: 15px;
    margin-top: 5px;
    padding-top: 5px
  }

div.right_column
  { width: 200px; 
    float: left; 
    border-left: 1px solid #CA30E8;
    margin-top: 150px;
    padding-left: 10px;
    font-size: 0.9em;
}



div.left_column a, div.left_column span
  { 
    display: block;
    background-color : #ffff20;
    color            : #C216F7;
    text-decoration  : none;
    padding-left     : 15px;
    padding-right    : 15px;
    text-align       : left;
    font-size        : 1.2em;
    padding-top       : 0.7em;
    padding-bottom    : 0.7em;
}

div.left_column a.print_link
  { 
    color            : black;
    text-decoration  : none;
    border           : 1px solid black;
    text-align       : left;
    font-size        : 0.7em;
    margin-top       : 1em;
    padding-top      : 0;
    margin-bottom    : 0.7em;
    margin-left      : 15px;
    padding-left     : 20px;
    background-image : url( /img/print.png);
    background-repeat: no-repeat;
    vertical-align   : middle;
}


div.left_column a:hover            { background-color :#3BFD13; }
div.left_column a.print_link:hover { background-color :#ffff20; }


div.left_column span.here
{ background-color : #ffff20;
  font-weight :bold;
}

div.footer
  { clear: both;
    text-align: center;
    width: 100%;
    margin-top: 20px;
    padding-top: 5px;
    font-size: 0.7em;
  }

p.author
  { font-size: 0.8em; font-style    : italic; }
div.date
  { font-size: 0.8em;
     font-weight: bold;

 }
p.story_links
  { text-align: right; 
    font-size: 0.8em;
}

h2, h3, h4 { text-align: left; }

pre.email
  { font-size: 0.9em;
  }

div.code
  { border: 1px solid blue;
    background-color: #d0ffff;
    font-weight: bold;
    padding-left: 10px;
  }
p.download_code
  { text-align: right;
    font-size: 0.7em;
  }

p.comment_by
  { font-size: 0.7em;
    font-style    : italic;
  }

span.index_summary { font-size: 0.8em; }
  
span.number, 
span.literal, 
span.double, 
span.single      { color: red;   }
span.pragma,
span.keyword     { color: brown; }
span.structure   { color: green; }
span.operator    { color: green; }
span.comment,
span.line_number { color: blue;  }
span.word        { color: black; }
span.magic,       
span.symbol      { color: green; }
span.perlrun     { color: black; }
span.args        { color: red;   }