Increase default font size, although ideally there should be some way to configure this

Changes

1 changed files (+1/-1)

• GenerateSlidesLib.lean
  • @@ -7,7 +7,7 @@ import LeanTeX.LatexCommandRegistry
    import LeanTeX.LatexGen def beamerPreamble (packages: String) (preamble: String) : String := - s!"\\documentclass[aspectratio=169,xcolor=\{usenames,dvipsnames,svgnames}]\{beamer}\n\\usepackage\{tikz}\n{packages}\n{preamble}\n\\begin\{document}" + s!"\\documentclass[14pt,aspectratio=169,xcolor=\{usenames,dvipsnames,svgnames}]\{beamer}\n\\usepackage\{tikz}\n{packages}\n{preamble}\n\\begin\{document}" def beamerPostamble : String := "\\end{document}\n%%% Local Variables:\n%%% mode: LaTeX\n%%% TeX-master: t\n%%% End:\n" structure LeanTeXConfig where