Nuevo «Font» para listados

Los listados van a utilizar por defecto un nuevo «Font» más claro y legible que el anterior:

Antes:

Ahora:

 

Fecha de liberación: Octubre de 2020

Distribución general: Noviembre de 2020