Я хотел бы изменить размер текста для некоторой части страницы, например, для дословного блока:
\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
Если вам нужен произвольный размер шрифта: