html {
  font-size:   15px; /* minimum recommended for accessibility and devices  */
  line-height: 1.5;  /* minimum recommended for accessibility and devices  */
  /*text-align: justify;*/
  max-width: 90ch;   /* the web says this is the optimal number of characters per line */
  font-family: 'Open Sans', sans-serif;
}

/*    Heading information for the landing page  */

div.landing-page-top{
    text-align: center;
    margin: 5%;
    float = none;
  }

h1{
    text-align: center;
}

/*     Formatting the nav bar on the left    */

nav {
    float: left;
    width:10%;
    margin-top: 10%;
    line-height: 2.5;
}

ul.nav-list{
    list-style: none;
    margin:     0;
    padding:    0;
}

/*     Formatting the content, on the right of the nav bar */

div.content {
    float: right;
    width: 90%;
}

h5{
    font-size: 15px;
}

/*    define fonts      */


code {
    font-family:"Courier New", Courier, monospace;
}

bold {
    font-weight: bold;
}



}