html {
  font-size: 85%;
}

@media (max-width: 480px) {
  html {
    font-size: 75%;
  }
}

body {
  font-size: 1rem; /* = 12px */
  line-height: 1.5;
  font-family: system-ui, sans-serif;
  background-color: #151515; 
  color: white;
}

#claustro, .claustro {
  font-weight: bold;
}

.footer {
  font-weight: bold;
}