Изменить размер шрифта в документе Scribble

Question

В латексе я могу изменить общий размер шрифта моего документа в строке \documentclass.

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

Как изменить размер шрифта моего документа с помощью Scribble?

Одним из возможных вариантов является использование exact и вставить латексную код для изменения шрифта:

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

Но проблема заключается в том, что шрифт указан на на \documentclass линии, которая генерируется каракулями.

Итак, есть ли способ установить размер шрифта из каракули или использовать какой-либо пакет латекса для изменения размера шрифта после строки \documentclass?

Answer 1

Это зависит от языка 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").