/**
 * @file
 * Correzioni alla cornice presa dal portale.
 *
 * Al momento **nessuna**, e va bene così: la cornice è il frammento vero,
 * ritagliato da bin/aggiorna-cornice.php, con tutti i fogli di stile del
 * portale nel loro ordine. Se serve correggere qualcosa, si corregge qui e non
 * dentro i file generati, che al primo aggiornamento tornerebbero come prima.
 *
 * Storia utile a chi arriva dopo, perché sono due errori già fatti.
 *
 * Qui si nascondevano la fascia delle sezioni e la tendina delle lingue,
 * perché il menu non si apriva: la causa però non era il CSS, era il
 * JavaScript sbagliato, cioè la build del tema integrata con Drupal. Con il
 * bundle ufficiale il menu funziona.
 *
 * Poi qui si forzava la comparsa del pulsante di Bootstrap Italia sugli
 * schermi stretti, perché il menu del portale era stato scartato e senza
 * quello non restava modo di navigare. Ripreso il menu del portale, i pulsanti
 * erano due, uno sopra l'altro. Sul portale sotto i 992 pixel la fascia delle
 * sezioni sparisce e la navigazione la fa il menu a scomparsa: si lascia fare
 * a lui.
 *
 * SORGENTE UNICA: questo file. Ne esiste una copia identica
 * nell'applicazione degli strumenti, in public/portale/css.
 */