/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */


html {
  /* px signifie "pixels". La taille de police de base est maintenant de 10
     pixels de haut */
  font-size: auto;
  /* Remplacez EMPLACEMENT par la valeur de la propriété font-family obtenue
     depuis Google Fonts */
  font-family: "Noto Serif Thai", serif;
  background-color: #bada55;
}




body {
  width: 1500px;
  margin: 1% auto; 
  color: black;
  font-family: "Noto Serif Thai", serif;
  padding: 0 20px 20px 20px;
}

menu {
  display: block;
  margin: 0 auto;
  max-width: 100%;
}

<div