diff -r 7a579f5533f8 -r 5af61c89f51e thys3/document/root.tex
--- a/thys3/document/root.tex	Sat Jul 16 18:34:46 2022 +0100
+++ b/thys3/document/root.tex	Sun Jul 17 13:07:05 2022 +0100
@@ -18,8 +18,6 @@
 %\setmainfont[Ligatures=TeX]{Palatino Linotype}
 
 
-
-
 \urlstyle{rm}
 \isabellestyle{it}
 \renewcommand{\isastyleminor}{\it}%