Ahí va un pequeño tip para los usuarios de Gnome 3. Si os gusta el tema que Gnome trae por defecto (Adwaita), pero sin embargo no sois muy amigos de la tipografía que incluye (Cantarell), basta con editar el fichero gnome-shell.css (se encuentra en /usr/share/gnome-shell/theme) y seleccionar la tipografía correspondiente, que, lógicamente, debe estar previamente instalada en el sistema:
/* Text Styles */
/* default text style */
stage {
font-family: Sans, sans-serif;
font-size: 11pt;
color: white;
}
Lógicamente, las configuraciones que incluye este .css van mucho más allá de algo tan simple como cambiar la tipografía, así que ¡cuidadín con lo que tocáis! 😉
Una idea sobre “[tip] Cambiar la tipografía de la shell en Gnome 3”
Por cierto, poniendo «Sans» a mi me pilla la LiberationSans, imagino que tomará la más parecida si no tienes instaladas las fuentes de Microsoft.