/* Ajoutez votre code JavaScript ici.
                     
Si vous utilisez la bibliotheque jQuery library, noubliez pas de wrapper votre code dans le jQuery.ready() comme ceci :

jQuery(document).ready(function( $ ){
    // Votre code ici 
});

--

Si vous voulez lier un fichier JavaScript qui se trouve sur un autre serveur (similaire a 
<script src="https://example.com/your-js-file.js"></script>), utilisez 
la page "Ajouter du code HTML", car c'est du code HTML qui appelle un fichier JavaScript.

Fin du commentaire */ 
// When the user scrolls down 80px from the top of the document, resize the navbar's padding and the logo's font size
window.onscroll = function() {scrollFunction()};

function scrollFunction() {
  if (document.body.scrollTop > 80 || document.documentElement.scrollTop > 80) {
    document.getElementById("#header_main").style.padding = "30px 10px";
    document.getElementById(".logo").style.fontSize = "25px";
  } else {
    document.getElementById("#header_main").style.padding = "80px 10px";
    document.getElementById(".logo").style.fontSize = "35px";
  }
}
