Ответ 1
\begingroup
\fontsize{10pt}{12pt}\selectfont
\begin{verbatim}
% how to set font size here to 10 px ?
\end{verbatim}
\endgroup
Я хотел бы изменить размер текста для какой-либо части страницы, например. для стенографического блока:
\begin{verbatim}
<how to set font size here to 10 px ? />
\end{verbatim}
Привет
\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 внутри Verbatim:
\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
используйте \alltt
среду. Затем задайте размер, используя те же команды, что и внешняя verbatim environment.