body
{
   font-family: serif;	
}

.banner
{
   font-family: serif;
   font-weight: 700;
   color: #633D66;
   font-size: 200%;s
}

.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;
}

a:link.menu, a:visited.menu, .menu
{
   font-weight: bold;
   font-size: 90%;
   text-decoration: none;
   color: #DADBE5;
}

a:link.menuSelected, a:visited.menuSelected, .menuSelected
{
   font-weight: bold;
   font-size: 90%;
   text-decoration: none;
   color: #F7E7C6;
}

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

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

a:hover, a:hover..menuSelected, a:hover..menu
{
    text-decoration: underline;
}

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