/* Style the header with a grey background and some padding */
.header {
    overflow: hidden;
    background-color: #000000;
   
  }
  .header-img{
    width:auto;
  }
  /* Style the header links */
  .header a {
    float: left;
    color: white;
    text-align: center;
    padding: 12px;
    text-decoration: none;
    
    font-size: 18px; 
    line-height: 25px;
    border-radius: 4px;
  }
  
  /* Style the logo link (notice that we set the same value of line-height and font-size to prevent the header to increase when the font gets bigger */
  .header a.logo {
    
    font-size: 25px;
    font-weight: bold;
  }
  
  /* Change the background color on mouse-over */
  .header a:hover {
    color: rgb(179, 0, 0);
  }
  
  /* Style the active/current link*/
  .header a.active {
    color: rgb(204, 0, 0);
  }
  
  /* Float the link section to the right */
  .header-right {
    float:right;
    margin-top: 150px;
    margin-left: 100px;
  }
  
  
  /* Add media queries for responsiveness - when the screen is 500px wide or less, stack the links on top of each other */ 
  @media screen and (max-width: 805px) {
    .header a {
      float: none;
      display: block;
      text-align: left;
      padding: 2px;
    }
    .header-right {
        margin-top: 2px;
        margin-left: 10px;  
        float: none;
    }
  }
  