如何将ggplot的字体更改为Times New Roman（在OS X上）？

Question

我有一个用ggplot构建的简单绘图，但是我想将显示的绘图中的字体更改为Times New Roman，大小为12。

这是我的代码示例：

Kind <- c("Blue", "Green", "Red")
Date <- c("1 Day", "2 Days", "3 Days")
tStat <- c(4.3, 5.3, 1.4)

df <- data.frame(Kind, Date, tStat)

plot <- ggplot(data = df) +
  geom_point(mapping = aes(x = Date, y = tStat, color = Kind)) +
  facet_wrap(~Kind, ncol = 6) +
  scale_x_discrete(breaks = Date) +
  theme_minimal()

我找到了一些有关如何通过软件包extrafont下载Windows字体的提示，但这似乎有些极端-没有简单的方法可以将其更改为Times？

感谢任何提示！