如何更改 minted 的整体字体大小？

Question

使用 minted 时我可以更改字体大小（更改 minted 中的字体大小）在每个单独的地方使用fontsize=\footnotesize：

\begin{listing}
\inputminted[fontsize=\footnotesize]{javascript}{file.js}
\end{listing}

我可以为整个文档设置一次吗？

Answer 1

您\setminted{fontsize=...}可以为所有环境设置默认字体大小minted。

如果您在单一minted环境中明确指示字体大小，它将覆盖默认字体大小。

我认为你的问题重复了Minted、setstretch 和字体大小，这个问题最正确的答案是火村的一个。

\documentclass{article}
\usepackage{minted}
\setminted{fontsize=\footnotesize}
\begin{document}
\noindent\verb|\footnotesize| is the default font size:
\begin{minted}{objc}
if you do not specify another fontsize
your minted environment will be footnotesize
\end{minted}
\begin{minted}{objc}
all your minted evronments will be footnotesize
\end{minted}
Unless you specify another font size:
\begin{minted}[fontsize=\large]{objc}
this is large
\end{minted}
\end{document}