@font-face {
  font-family: myFont; /* set name */
  src: url(/ARCADECLASSIC.TTF); /* url of the font */
}
  
  body {
        background-color: #F6FCF3;
        font-family:courier, tahoma;
        font-size: 16px;
        margin: 40px;
        margin-right: 200px;
        margin-left: 200px;
    }
    
  
  h1 {
      font-variant: small-caps;
      color: #547234;
      text-align: center;
      
      margin: 0;
      margin-bottom:10px;
      margin-top: 10px;
      padding: 10px;
    } 
    
  h2 {
      color: #547234;
      background-color:#CFF5B7;
    } 
   
  p {
      color: black;
      line-height: 1.5;
    }
    
  a {
      color: white;
      background-color:#464d89;
      text-decoration: none;
    }





.navigation{
    background-color: #464d89;
    font-size: 20px;
    font-family: myFont;
    font-weight: bold;
    letter-spacing: 3px;
    color: white;
    margin: 10px;
    padding: 10px;
  }
  
  .nav_button{
    padding: 7px;
    padding-right: 10px;
    padding-left: 10px;
    border-style: solid;
    border-width: 3px;
    border-color: #bbb7de;
    }

  .hp_contents{
      margin: 10px;
      padding: 10px;
    }
    
  .hp_text{
      margin: 20px;
      padding: 10px;
      background-color: white;
      border-style: solid;
      border-width: 2px;
      border-color: #CFF5B7;
    }
    
    
    .update_history{
        background-color: #F6FCF3;
        padding: 10px;
        border-style: solid;
        border-width: 5px;
        border-color: #547234;
      }