4 ответов:
\begingroup \fontsize{10pt}{12pt}\selectfont \begin{verbatim} % how to set font size here to 10 px ? \end{verbatim} \endgroup
пример:
\Large\begin{verbatim} <how to set font size here to 10 px ? /> \end{verbatim} \normalsize
\Largeможет быть явно заменен одним из:\tiny \scriptsize \footnotesize \small \normalsize \large \Large \LARGE \huge \HugeЕсли вам нужны произвольные размеры шрифта:
использование пакета
\usepackage{fancyvrb}позволяет определить аргумент fontsize внутри дословно:\begin{Verbatim}[fontsize=\small] print "Hello, World" \end{Verbatim}размер шрифта, который вы можете указать, является общим
\tiny \scriptsize \footnotesize \small \normalsize \large \Large \LARGE \huge \Huge
http://en.wikibooks.org/wiki/LaTeX/Formatting
использовать окружающая среда. Затем установите размер, используя те же команды, что и вне стенографической среды.
Comments