/* El mapa aprovecha también el espacio de la cabecera al ampliarlo. */
body.map-fullscreen{overflow:hidden}
body.map-fullscreen #workspace-header{display:none}
.fullscreen-toggle[aria-pressed="true"]{background:var(--style-soft)!important;color:var(--green)}