/* Ajustes de layout del portal. Va despues de portal.css.
   Esta en un archivo aparte y no dentro de portal.css para no reescribir
   entero un archivo grande por dos reglas. */

/* El menu lateral no acompana al scroll: queda quieto mientras se recorre el
   contenido. El alto fijo es a proposito, asi la columna gris y su borde
   llegan siempre hasta abajo de la ventana y no se corta a mitad de camino
   cuando el menu tiene pocas opciones abiertas. */
@media(min-width:1001px){
.app>.side{position:sticky;top:var(--hdr);height:calc(100vh - var(--hdr));
overflow-y:auto;overscroll-behavior:contain}
}