body
{
   font-family: sans-serif;	
}

.banner
{
   font-family: sans-serif;
   font-weight: 700;
   color: white;
   font-size: 200%;
}

.title
{
   font-size: 125%;
   font-weight: bold;
}

.source
{
   font-weight: bold;
}

.author
{
    font-style: italic;
}

.label
{
   font-weight: bold;
}

.pattern, antipattern
{
    font-variant: small-caps;
}

.menu
{
   font-weight: bold;
   font-size: 75%;
   text-decoration: none;
   color: #000000;
}


a:link
{
    color: #FF9900;
    text-decoration: none;
}

a:visited
{
    color: #666666;
    text-decoration: none;
}

a:hover
{
    text-decoration: underline;
}

a:active
{
    color: #669999;
    text-decoration: underline;    
}