/* Ícono del botón Portal en la barra lateral (fuente de íconos del tema Elastic: Font Awesome 5) */
#taskmenu a.portal:before,
.menu a.portal:before {
    content: "\f2bd"; /* user-circle */
}