Hi,
You can change the font by setting In your conf.py;
* fontpkg value in latex_elements for the font
* pointsize value in latex_elements for font size
For example:
latex_elements = {
'fontpkg': '', # Computer Modern,
#'fontpkg': r'\usepackage{times}', # Times and Helvetica (default)
#'fontpkg': r'\usepackage{palatino}', # Palatino
#'fontpkg': r'\usepackage{courier}', # Courier for monospace
'pointsize': '9pt',
}
refs: http://sphinx-doc.org/config.html#confval-latex_elements
Regards,
On Wed Oct 22 2014 at 2:07:15 Roberto Bagnara <[email protected]> wrote:
>
> The monospaced font used by default by the LaTeX builder for
> code samples seems too large to me (too wide, in particular).
> How can I change the size and/or the font used?
> Thanks,
>
> Roberto
>
> --
> Prof. Roberto Bagnara
>
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:[email protected]
> BUGSENG srl - http://bugseng.com
> mailto:[email protected]
>
--
You received this message because you are subscribed to the Google Groups
"sphinx-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sphinx-users.
For more options, visit https://groups.google.com/d/optout.