Question

In latex, I can change the overall font size of my document in the \documentclass line.

\documentclass[11pt]{lncs}
\begin{document}
....
\end{document}

How can I change the font size of my document using Scribble?

One possibility is to use exact and insert latex code to change the font:

(define (exact . items)
  (make-element (make-style "identity" '(exact-chars))
                items))

But the problem is that the font is specified on on the \documentclass line, which is generated by scribble.

So is there any way to either set the font size from within scribble, or use some latex package to change the font size after the \documentclass line?

Answer 1

这取决于您正在使用的Scribble语言和后端。例如，scribble/sigplan语言允许您使用语言选项设置一些字体大小，并主要针对PDF后端。

通常，您可以使用样式文件或前缀文件覆盖任何类似的后端属性。前缀文件可能就是您想要的，因此您可以直接修改\documentclass声明。

将这样的内容添加到prefix.tex：

\documentclass[11pt]{lncs}
% other stuff here that you need

然后在调用Scribble时提供--prefix prefix.tex。您应该复制并粘贴LNCS语言附带的整个前缀文件，如果您正在使用它，以避免丢失您需要的任何前导命令。

如果您定位非PDF后端，则需要使用不同的前缀文件，但听起来您主要对PDF案例感兴趣。

另外，如果您只想在本地更改字体大小，则可以在元素上提供'smaller和'larger样式。与(elem #:style 'smaller "Smaller")一样。

Change font size in Scribble document

1 个答案: