body {

    font-family: Arial, Helvetica, sans-serif;
    font-size: 15px;
    line-height: 1.5;
    padding: 0;
    margin: 0;
    background-color: lightgrey;


}
  /* Global */

.container {

    width: 80%;
    margin: auto;
    overflow: hidden;

}

ul {

    margin: 0;
    padding: 0;

  }

.button_1 {
    height: 38px;
    background: rgb(0, 235, 252);
    border: 0;
    padding-left: 20px;
    padding-right: 20px;
    color: rgb(0, 0, 0);
    

}



  /* Header **/

  header {

    background: #35424a;
    color: white;
    padding-top: 30px;
    min-height: 70px;
    border-bottom: 3px solid orange;


  }

  header a {
      
    color: rgb(255, 255, 255);
    text-decoration: none;
    text-transform: uppercase;
    font-size: 16px;


  }


  header li {

    float: left;
    display: inline;
    padding: 0 20px 0 20px;
  }

  header #branding {

    float: left;

  }

  header #branding h1 {

    margin: 0;

  }

  header nav {

    float: right;
    margin-top: 10px;

  }

  header .highlight, header .current a{

    color: rgb(255, 255, 255);
    font-weight: bold;

  }

  header a:hover {

    color: aqua;
    font-weight: bold;

  }