a.nav:link
{
   text-decoration:none;
   font-size:14;
   font-weight:700;
   color:#000000;
}

a.nav:visited
{
   text-decoration:none;
   font-size:14;
   font-weight:700;
   color:#000000;
}

a.nav:hover
{
   color:#FFBD5D;
   font-size:14;
}

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

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

a:hover
{
   color:#FFBD5D;
}

div.header
{
   width:800px;
   margin-left:auto;
   margin-right:auto;
   margin-top:50px;
}

div.utLogo
{
   float:right;
}

div.groupLogo
{
   float:left;
}

div.menu
{
   float:left;
   width:100%;
   margin-top:50px;
   border-bottom:1px solid #FFBD5D;
   padding-bottom:10px;
   font-family:arial;
   font-weight:700;
}
div.menuright
{
   float:right;
   margin-top:0px;
   padding-bottom:0px;
   font-family:arial;
   font-weight:700;
}

div.content
{
   float:left;
   width:100%;
   padding-top:20px;
   padding-bottom:20px;
   border-bottom:10px solid #FFBD5D;
}

li
{
    padding:0px;
    margin:0px;
}

h1
{
   font-family:verdana;
   width:100%;
   font-weight:700;
   font-size:24;
   color:#0000BB;
   padding:0px;
   margin-top:0px;
   margin-bottom:20px;
   font-variant: small-caps;
}

h2
{
   font-family:verdana;
   width:100%;
   font-weight:700;
   font-size:20;
   border-bottom:0px solid #000000;
   color:#000000;
   padding:0px;
   margin-top:0px;
   margin-bottom:5px;
   font-variant: small-caps;
}

h3
{
   font-family:verdana;
   width:100%;
   font-weight:700;
   font-size:16;
   border-bottom:0px solid #000000;
   color:#0000BB;
   padding:0px;
   margin-top:0px;
   margin-bottom:5px;
   font-variant: small-caps;
}

h4
{
   font-variant: small-caps;
   padding:0px;
   margin:0px;
}

div.text
{
   font-family:verdana;
   width:100%;
   font-weight:400;
   font-size:14;
   color:#000000;
   text-align:justify;
}

div.firefox
{
   float:right;
   color:#777777;
   margin-top:3px;
   font-family:arial;
   font-size:10;
}

img
{
   border:none;
}

img.figure
{
   margin:10 px;
   border:1px solid #000000;
}

table
{
   font-family:verdana;
   font-weight:400;
   font-size:14;
   color:#000000;
   text-align:justify;
}

div.code
{
   font-family:courier;
   font-weight:400;
   font-size:12;
   color:#000000;
   text-align:justify;
   background:#DDDDDD;
   border:1px dashed #999999;
   padding:10px;
   margin:10px;
}    

span.code
{
  font-family:courier;
}