/* Global typesetting */

html {
    font-size: 20px; 
  }
  
  body {
    font-family: 'Times New Roman', Times, serif;
  }
  
  a {
    color: inherit;          
    text-decoration: none;    
  }
  
  /* Flexbox for horizontal alignment of logo and menu */
  .header-container {
    display: flex;
    justify-content: space-between; 
    padding: 10px 20px;
    margin-bottom: 120px;
  }
  
  /* Menu styling */
  .menu ul {
    list-style: none;
    padding: 0;
    margin: 0;
    display: flex;
    gap: 20px; 
  }
  
  .menu li {
    display: inline;
  }
  
  .menu a {
    text-decoration: none;
    color: inherit;
  }
  
  /* Styling for active page link */
  .menu a.active {
    font-style: italic; 
  }
  
  /* Styling for active date filter link */
  .date-list a.active {
    font-style: italic; 
  }



  .site-footer {
    padding: 20px; 
    font-size: 10pt;
    width: auto; 
  }
  
  .site-footer p {
    margin: 0;
    line-height: 1.5;
  }