Although you can "convert" the default Gnome panel into a dock easily by changing few settings such as size, transparency, length,...