2016-01-11Customizing My Cinnamon DesktopITLinuxCinnamonDesignNotes on configuring a Cinnamon theme and the start menu