2

在乳胶中，我可以\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行后的字体大小？

4

1 回答 1

3

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

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

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

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

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

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

顺便说一句，如果您只想在本地更改字体大小，您可以在元素上提供'smaller和样式。'larger喜欢(elem #:style 'smaller "Smaller")。

于 2015-09-14T18:59:32.033 回答