# HG changeset patch
# User wenzelm
# Date 1667590340 -3600
# Node ID 6abbbbebdd69dd7e0c81214929f8cebd2874dd47
# Parent  8dbb0b2f657600e78951d9a923eee0ddd1e1bcdc
clarified LaTeX style;

diff -r 8dbb0b2f6576 -r 6abbbbebdd69 src/Doc/Demo_Easychair/document/root.tex
--- 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}
 
diff -r 8dbb0b2f6576 -r 6abbbbebdd69 src/Doc/Demo_LIPIcs/document/root.tex
--- 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{}
diff -r 8dbb0b2f6576 -r 6abbbbebdd69 src/Doc/Demo_LLNCS/document/root.tex
--- 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}}