.border { border-color: #FFFFFF;
          border-style: double; 
          border-width: 5; 
          background-color: #051F7F; }

.menu { background-color: #051F7F; }

div.menu a:link { color: #FFFFFF;
                  font-size: 10pt; 
                  font-weight: bold;  
                  text-decoration: none; } 
div.menu a:visited { color: #FFFFFF;
                     font-size: 10pt; 
                     font-weight: bold;   
                     text-decoration: none; } 
div.menu a:hover { color: ADBDD6;  
                   font-size: 10pt; 
                   font-weight: bold;  
                   text-decoration: none; } 
div.menu a:active { color: ADBDD6;
                    font-size: 10pt; 
                    font-weight: bold; 
                    text-decoration: none; } 

.menu2 { background-color: #051F7F; }

div.menu2 a:link { color: #FFFFFF;
                  font-size: 9pt; 
                  font-weight: bold;  
                  text-decoration: none; } 
div.menu2 a:visited { color: #FFFFFF;
                     font-size: 9pt; 
                     font-weight: bold;   
                     text-decoration: none; } 
div.menu2 a:hover { color: ADBDD6;  
                   font-size: 9pt; 
                   font-weight: bold;  
                   text-decoration: none; } 
div.menu2 a:active { color: ADBDD6;
                    font-size: 9pt; 
                    font-weight: bold; 
                    text-decoration: none; }


.h1 { font-size: 16pt; }

.h2 { font-size: 14pt; }

.h3 { font-size: 12pt; }

.h4 { font-size: 10pt; }

.h5 { font-size: 9pt; }