Fonts 更改Scribble文档中的字体大小

在latex中，我可以在

\documentclass

行中更改文档的整体字体大小

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

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

一种可能是使用

exact

并插入latex代码来更改字体：

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

但问题是字体是在scribble生成的

\documentclass

行上指定的

---

因此，有没有办法从scribble中设置字体大小，或者使用一些latex软件包更改

\documentclass

行后的字体大小？

这取决于scribble语言和您使用的后端。例如，

scribble/sigplan

语言允许您使用语言选项设置一些字体大小，并主要针对PDF后端

通常，您可以通过使用样式文件或前缀文件来覆盖任何后端属性。这里可能需要一个前缀文件，以便直接修改

\documentclass

声明

将类似的内容添加到您的

前缀.tex

：

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

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

如果您曾经以非PDF后端为目标，您将需要一个不同的前缀文件，但听起来您主要对PDF案例感兴趣

---

---

另一方面，如果您只想在本地更改字体大小，则可以在元素上提供较小的

和较大的
样式。像
（elem#：style'smaller“smaller”）
那么，如果我使用前缀文件，它会用文件中的前缀替换普通前缀吗？（意思是我负责设置documentclass），是吗？是的，这就是为什么您必须从LNCS包中复制并粘贴前缀文件的原因。不过，默认的Scribble LaTeX前缀文件非常小。