By default, the HTML ' <pre> ' command uses a monospaced font. You can influence the CSS in the HTML output with two makeinfo options: --css-include= file and ...
確定! 回上一頁