xfce4-taskbar-plugin is a taskbar plugin for the panel.  The size of the
taskbar can be changed via the properties dialog.
