更改 Scribble 文档中的字体大小

Question

在 Latex 中，我可以在 \documentclass 行中更改文档的整体字体大小。

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

如何使用 Scribble 更改文档的字体大小？

一种可能是使用exact并插入乳胶代码来更改字体：

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

但问题是字体是在\documentclass行指定的，由scribble生成。

那么有什么方法可以在 scribble 中设置字体大小，或者使用一些乳胶包来更改 \documentclass 行之后的字体大小？

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