diff -r 454ced557605 -r 692911c0b981 thys3/document/root.tex
--- a/thys3/document/root.tex	Thu Jul 21 20:21:52 2022 +0100
+++ b/thys3/document/root.tex	Thu Jul 21 20:22:35 2022 +0100
@@ -18,8 +18,6 @@
 %\setmainfont[Ligatures=TeX]{Palatino Linotype}
 
 
-
-
 \urlstyle{rm}
 \isabellestyle{it}
 \renewcommand{\isastyleminor}{\it}%