Pushed raggedbottom into templates.

2023-05-15 10:16:31 +02:00 · 2023-05-15 10:16:31 +02:00 · 2569db05c3
parent fb69f05ac0
commit 2569db05c3
4 changed files with 3 additions and 3 deletions
--- a/Isabelle_DOF/document/preamble.tex
+++ b/Isabelle_DOF/document/preamble.tex
@ -121,6 +121,4 @@ France, and therefore granted with public funds of the Program ``Investissements
  \expandafter\index\expandafter{\expanded{#2 (#1)}}%
 }%

-\sloppy
-\raggedbottom
 \AtBeginDocument{\isabellestyle{literal}\newcommand{\lstnumberautorefname}{Line}}
--- a/Isabelle_DOF/latex/document-templates/root-scrartcl.tex
+++ b/Isabelle_DOF/latex/document-templates/root-scrartcl.tex
@ -44,7 +44,7 @@
 \allowdisplaybreaks[4]

 \newenvironment{frontmatter}{}{}
-
+\raggedbottom
 \begin{document}
 \begin{frontmatter}
  \maketitle
--- a/Isabelle_DOF/latex/document-templates/root-scrreprt-modern.tex
+++ b/Isabelle_DOF/latex/document-templates/root-scrreprt-modern.tex
@ -59,6 +59,7 @@
  ,plainpages=false
 } % more detailed digital TOC (aka bookmarks)
 \sloppy
+\raggedbottom
 \allowdisplaybreaks[4]

 \newenvironment{frontmatter}{}{}
--- a/Isabelle_DOF/latex/document-templates/root-scrreprt.tex
+++ b/Isabelle_DOF/latex/document-templates/root-scrreprt.tex
@ -41,6 +41,7 @@
  ,plainpages=false
 } % more detailed digital TOC (aka bookmarks)
 \sloppy
+\raggedbottom
 \allowdisplaybreaks[4]

 \begin{document}