Email Gateway (Aug 23 2022 at 08:11): Email Gateway (Aug 23 2022 at 08:11):From: Walther Neuper <walther.neuper@jku.at>
using Isabelle's document preparation first time was a pleasure,
typesetting looks pretty with \usepackage{isabelle,isabellesym}. After
searching the mail archives (I only found a similar request from 2008,
but this does not apply) I still cannot resolve two problems related to
llncs.cls (the latest llncs2e, version 2.20 with splncs04.bst):
(1) the combination of \documentclass[runningheads]{llncs} and
\usepackage{isabelle,isabellesym} produces working links in
document.pdf, but colouring of the links is missing. When inserting
\renewcommand\UrlFont{\color{blue}\rmfamily}
as recommended by Springer I get the error message
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))))
! LaTeX Error: \UrlFont undefined.
My interpretation is, that hyperref.sty implements the respective
feature differently from isabelle.sty.
What can I do to get the blue colouring for links in the pdf?
(2) the above combination of \documentclass[runningheads]{llncs} with
\usepackage{isabelle,isabellesym} works with \bibliographystyle{plain},
but not with \bibliographystyle{splncs04} as recommended by Springer.
I found a workaround:
mypaper$ isabelle build -D .
with \bibliographystyle{plain}. Then
mypaper/output/document$ gedit root.tex
and switch to \bibliographystyle{splncs04}. With this style
mypaper/output/document$ pdflatex root
mypaper/output/document$ bibtex root
produces wrong urls, e.g.
\url{\url{http://isabelle.in.tum.de/doc/implementation.pdf}}
in root.bbl. I correct root.bbl and finally
mypaper/output/document$ pdflatex root
mypaper/output/document$ pdflatex root
produces the appropriate style for references in
mypaper/output/document/root.pdf
Is there a better way to get references formatted according to the llncs
style?
Question (1) is urgent. Thank you very much in advance for any help !
Walther
Last updated: Apr 25 2024 at 04:18 UTC