--- a/src/Doc/Demo_Easychair/document/root.tex Fri Nov 04 20:15:54 2022 +0100
+++ b/src/Doc/Demo_Easychair/document/root.tex Fri Nov 04 20:32:20 2022 +0100
@@ -1,6 +1,5 @@
\documentclass[a4paper,11pt]{easychair}
\usepackage{amssymb}
-\usepackage{hyperref}\urlstyle{rm}
\usepackage{isabelle,isabellesym}\isabellestyle{it}
--- a/src/Doc/Demo_LIPIcs/document/root.tex Fri Nov 04 20:15:54 2022 +0100
+++ b/src/Doc/Demo_LIPIcs/document/root.tex Fri Nov 04 20:32:20 2022 +0100
@@ -10,7 +10,7 @@
\title{Isabelle document preparation with Dagstuhl LIPIcs style}
-\author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{https://orcid.org/0000-0002-3753-8280}{}
+\author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{0000-0002-3753-8280}{}
\authorrunning{M. Wenzel}
\Copyright{}
--- a/src/Doc/Demo_LLNCS/document/root.tex Fri Nov 04 20:15:54 2022 +0100
+++ b/src/Doc/Demo_LLNCS/document/root.tex Fri Nov 04 20:32:20 2022 +0100
@@ -3,6 +3,10 @@
\usepackage[T1]{fontenc}
\usepackage{amssymb}
+\usepackage[colorlinks=true,linkcolor=black,citecolor=black,filecolor=black,urlcolor=black,pdfpagelabels]{hyperref}
+
+\pagestyle{plain} %for submission
+
\usepackage{isabelle,isabellesym}
\isabellestyle{it}
@@ -11,7 +15,7 @@
\title{Isabelle document preparation with Springer {\LaTeX} LNCS style}
-\author{Makarius Wenzel\inst{1}\orcidID{https://orcid.org/0000-0002-3753-8280}}
+\author{Makarius Wenzel\inst{1}\orcidID{0000-0002-3753-8280}}
\authorrunning{M. Wenzel}
\institute{Augsburg, Germany \\ \url{https://sketis.net}}