--- 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}%