a                      {border-top:solid #D1E2FF 2px;
                       border-bottom:solid #D1E2FF 2px;
                       color:#89B5FF;
                       font-size:80%;
                       font-variant:small-caps;
                       font-weight: bold;
                       margin-right:135px;
                       text-decoration:none;
                       width:52px;}
a:hover                {border-top:solid #003897 2px;
                       border-bottom:solid #003897 2px;
                       color:#D72828;}
.normal a              {border:0px;
                       color:#000000;
                       font-size:100%;
                       font-variant:normal;
                       font-weight:normal;
                       text-decoration:underline;
                       width:auto;
                       margin:0px;}
.normal a:hover        {border:0px;}
.eigenlink a           {border-top:solid #003897 2px;
                       border-bottom:solid #003897 2px;
                       color:#003897;}
.eigenlink a:hover     {border-top:solid #003897 2px;
                       border-bottom:solid #003897 2px;
                       color:#003897;}
.eigenlink2 a          {border-top:solid #003897 2px;
                       border-bottom:solid #003897 2px;
                       color:#003897;
                       margin-right:0px;}
.eigenlink2 a:hover    {border-top:solid #003897 2px;
                       border-bottom:solid #003897 2px;
                       color:#003897;}