/* Global styles for the document */
body {
    background-color: #FFFFFF;
    color: #666666;
    font-family: Verdana, Arial, sans-serif;
  }
  
  /* Styles for the header element */
  header {
    background-color: #003058;
    color: #FFFFFF;
    font-family: Georgia, serif;
  }
  
  /* Styles for header h1 */
  header h1 {
    line-height: 140%;
    padding: .5rem;
  }
  
  /* Styles for the nav element */
  nav {
    font-weight: bold;
    background-color: #F3F3F3;
  }
  
  /* Styles for h2 element */
  h2 {
    color: #424242;
    font-family: Georgia, serif;
  }
  
  /* Styles for dt element */
  dt {
    color: #003058;
    font-weight: bold;
  }
  
  /* Styles for class ".ut" */
  .ut {
    color: #BA1C21;
    font-weight: bold;
  }
  
  /* Styles for the footer element */
  footer {
    font-size: 0.70rem;
    font-style: italic;
    text-align: center;
  }