linuxmint/Cinnamon — pull request #809 by Cobinja (2012-06-22 13:57:17+00:00)
Title: different heights for different panels (top and bottom)

Users and theme creators now have the possibility to assign different heights to top and bottom panel.