ThirdParty/Pygments/pygments/formatters/img.py

changeset 6651
e8f3b5568b21
parent 5713
6762afd9f963
equal deleted inserted replaced
6650:1dd52aa8897c 6651:e8f3b5568b21
235 `font_name` 235 `font_name`
236 The font name to be used as the base font from which others, such as 236 The font name to be used as the base font from which others, such as
237 bold and italic fonts will be generated. This really should be a 237 bold and italic fonts will be generated. This really should be a
238 monospace font to look sane. 238 monospace font to look sane.
239 239
240 Default: "Bitstream Vera Sans Mono" on Windows, Courier New on \*nix 240 Default: "Bitstream Vera Sans Mono" on Windows, Courier New on \\*nix
241 241
242 `font_size` 242 `font_size`
243 The font size in points to be used. 243 The font size in points to be used.
244 244
245 Default: 14 245 Default: 14

eric ide

mercurial