fox wrote:Running cinnamon DE in Maya, how do I adjust the size and type of the font used in the panel?
They are defined by a theme, so there's no easy way yet (as of Cinnamon 1.4).
1. Find yourself a Cinnamon theme
that you like.
2. Place it into your ~/.themes directory.
3. Search through the theme's files (most probably cinnamon.css) for the properties named "font-family", "font-size", "font-weight", etc.
4. Change them as you like.
5. (Quoting this little tutorial
) To see what your theme looks like after you made changes to it you can either select another theme and reselect your theme in Cinnamon Settings, or restart Cinnamon by pressing “Alt F2″ and typing “r”.