forked from Isabelle_DOF/Isabelle_DOF
Fixed URL style.
This commit is contained in:
parent
a6b3a6f44e
commit
7093fb523c
|
@ -73,7 +73,7 @@
|
|||
} % more detailed digital TOC (aka bookmarks)
|
||||
\sloppy
|
||||
\allowdisplaybreaks[4]
|
||||
\urlstyle{rm}
|
||||
\urlstyle{sf}
|
||||
\isabellestyle{it}
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
%%% Overrides the (rightfully issued) warning by Koma Script that \rm
|
||||
|
|
Loading…
Reference in New Issue