h1 { color:#0011aa;}
h2 { color:#0011aa;}
#smaller 
{
    font-size:smaller;
}
a:link {text-decoration: none}
a:visited {text-decoration: none}
a:active {text-decoration: none}
a:hover {text-decoration: none; color: red;}

.brd{
	border-style:outset;
	border-color:white;
	border-width:8px;
      }

ul
{
    font-size: smaller;
}
#small_bold 
{
    font-weight: bold;
    font-size:smaller
}
pre {
  background-color: #CCFFFF;
}