@font-face {
  font-family: 'Josefin Sans';
  font-style: normal;
  font-weight: 400;
  src: local('Josefin Sans Regular'), local('JosefinSans-Regular'), url(http://webarchive.labcd.unipi.it:8080/wayback/20191015130430/http://fonts.gstatic.com/s/josefinsans/v14/Qw3aZQNVED7rKGKxtqIqX5EUDXx9.ttf) format('truetype');
}






/*
     FILE ARCHIVED ON 13:04:30 Oct 15, 2019 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 4:27:25 Jan 2, 2026.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/