Cambiar la tipografia del menú de Cinnamon

Cuando cambiamos la tipografía del entorno de Cinnamon, todo cambia  a la nueva fuente seleccionada excepto el menú de éste.
Para hacer que el menú de Cinnamon también adopte la fuente seleccionada, tenemos que editar manualmente el archivo cinnamon.css del tema que se esté utilizando.
En el caso de utilizar el tema por defecto de Cinnamon llamado cinnamon lo encontraremos en la siguiente ruta:

• /usr/share/cinnamon/theme/cinnamon.css

En el caso de utilizar otros temas distinto al del por defecto, los encontraremos en la carpeta de usuario .themes, en esta otra ruta:

• /home/TuUsuario/.themes/nombre_del_tema/cinnamon/cinnamon.css

Lo que debemos hacer es editar el archivo  cinnamon.css que se encuentra dentro de la carpeta cinnamon con cualquier editor de texto y buscar la línea font-family que se encontrará al principio de dicho archivo.
En ella veremos que hay añadidas el nombre de varias fuentes. Si la fuente seleccionada para el sistema no coincide con el nombre de ninguna de las que hay en la linea font-family entonces no será mostrada y en su lugar visualizaremos la fuente que se encuentre en primer lugar en dicha línea.

Así que suponiendo que pongamos por ejemplo para todo el sistema la fuente Anna Beta. Al editar dicho archivo encontraremos algo tal que así:
font-family: sans, sans-serif;
Deberíamos cambiarlo así:
font-family: sans, sans-serif, Anna Beta;

En dicha línea pueden haber tantos nombres de fuentes como queramos, pero eso sí, tiene que estar  escritos correctamente tal y cómo se muestran en los gestores de tipografía del sistema, de lo contrario no funcionará.

Una vez realizado esto para ver los cambios tan solo tenemos que reiniciar Cinnamon o más fácil aún, cambiar de tema del menú y luego volver a poner el anterior.

A partir de entonces el menú se mostrará también con la tipografía seleccionada para todo el sistema.