上部の灰色のバーを広くしたいのですが、その端を文字の上部と下部から少し離してください (strip.text - A、B、C など)。行の高さがパディングとして機能すると思っていたでしょうが、そうではありません。
ggplot(diamonds, aes(carat, price, fill = ..density..)) +
xlim(0, 2) + stat_binhex(na.rm = TRUE)+
facet_wrap(~ color) +
theme(strip.text = element_text(lineheight=20))