The bigger top Firefox bar is due to the fact that it is using server side decorations instead of client side decorations (aka, Cinnamon, thr graphical environment is setting the top bars instead of letting apps do their thing)

Wait, how? Got a link pls?