author | Chengsong |
Mon, 10 Jul 2023 01:33:45 +0100 | |
changeset 660 | eddc4eaba7c4 |
parent 496 | f493a20feeb3 |
permissions | -rw-r--r-- |
496
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
%% This is file `lipics-v2021.cls'. |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
%% ----------------------------------------------------------------- |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
%% Author: Dagstuhl Publishing & le-tex publishing services |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
%% This file is part of the lipics package for preparing |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
%% LIPICS articles. |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
10 |
%% Copyright (C) 2021 Schloss Dagstuhl |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
12 |
%% This work may be distributed and/or modified under the |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
13 |
%% conditions of the LaTeX Project Public License, either version 1.3 |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
14 |
%% of this license or (at your option) any later version. |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
15 |
%% The latest version of this license is in |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
16 |
%% http://www.latex-project.org/lppl.txt |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
17 |
%% and version 1.3 or later is part of all distributions of LaTeX |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
18 |
%% version 2005/12/01 or later. |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
19 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
20 |
%% This work has the LPPL maintenance status `maintained'. |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
21 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
22 |
%% The Current Maintainer of this work is |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
23 |
%% Schloss Dagstuhl (publishing@dagstuhl.de). |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
24 |
%% ----------------------------------------------------------------- |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
25 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
26 |
\ProvidesClass{lipics-v2021} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
27 |
[2021/05/04 v3.1.2 LIPIcs articles] |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
28 |
\NeedsTeXFormat{LaTeX2e}[2015/01/01] |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
29 |
\emergencystretch1em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
30 |
\advance\hoffset-1in |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
31 |
\advance\voffset-1in |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
32 |
\advance\hoffset2.95mm |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
33 |
\newif\if@nobotseplist \@nobotseplistfalse |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
34 |
\def\@endparenv{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
35 |
\addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
36 |
\def\@doendpe{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
37 |
\@endpetrue |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
38 |
\def\par{\@restorepar |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
39 |
\everypar{}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
40 |
\par |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
41 |
\if@nobotseplist |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
42 |
\addvspace\topsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
43 |
\addvspace\partopsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
44 |
\global\@nobotseplistfalse |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
45 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
46 |
\@endpefalse}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
47 |
\everypar{{\setbox\z@\lastbox}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
48 |
\everypar{}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
49 |
\if@nobotseplist\global\@nobotseplistfalse\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
50 |
\@endpefalse}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
51 |
\def\enumerate{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
52 |
\ifnum \@enumdepth >\thr@@\@toodeep\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
53 |
\advance\@enumdepth\@ne |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
54 |
\edef\@enumctr{enum\romannumeral\the\@enumdepth}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
55 |
\expandafter |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
56 |
\list |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
57 |
\csname label\@enumctr\endcsname |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
58 |
{\advance\partopsep\topsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
59 |
\topsep\z@\@plus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
60 |
\ifnum\@listdepth=\@ne |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
61 |
\labelsep0.72em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
62 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
63 |
\ifnum\@listdepth=\tw@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
64 |
\labelsep0.3em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
65 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
66 |
\labelsep0.5em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
67 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
68 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
69 |
\usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
70 |
\fi} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
71 |
\def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
72 |
\def\itemize{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
73 |
\ifnum \@itemdepth >\thr@@\@toodeep\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
74 |
\advance\@itemdepth\@ne |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
75 |
\edef\@itemitem{labelitem\romannumeral\the\@itemdepth}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
76 |
\expandafter |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
77 |
\list |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
78 |
\csname\@itemitem\endcsname |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
79 |
{\advance\partopsep\topsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
80 |
\topsep\z@\@plus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
81 |
\ifnum\@listdepth=\@ne |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
82 |
\labelsep0.83em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
83 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
84 |
\ifnum\@listdepth=\tw@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
85 |
\labelsep0.75em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
86 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
87 |
\labelsep0.5em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
88 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
89 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
90 |
\def\makelabel##1{\hss\llap{##1}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
91 |
\fi} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
92 |
\def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
93 |
\def\@title{\textcolor{red}{Author: Please provide a title}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
94 |
\let\@subtitle\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
95 |
\def\subtitle#1{\gdef\@subtitle{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
96 |
\def\subtitleseperator{: } |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
97 |
\def\@sect#1#2#3#4#5#6[#7]#8{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
98 |
\ifnum #2>\c@secnumdepth |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
99 |
\let\@svsec\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
100 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
101 |
\refstepcounter{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
102 |
\protected@edef\@svsec{\@seccntformat{#1}\relax}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
103 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
104 |
\@tempskipa #5\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
105 |
\ifdim \@tempskipa>\z@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
106 |
\begingroup |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
107 |
#6{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
108 |
\@hangfrom{\hskip #3\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
109 |
\ifnum #2=1 |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
110 |
\colorbox{lipicsYellow}{\kern0.15em\@svsec\kern0.15em}\quad |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
111 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
112 |
\@svsec\quad |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
113 |
\fi}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
114 |
\interlinepenalty \@M #8\@@par}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
115 |
\endgroup |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
116 |
\csname #1mark\endcsname{#7}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
117 |
\addcontentsline{toc}{#1}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
118 |
\ifnum #2>\c@secnumdepth \else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
119 |
\protect\numberline{\csname the#1\endcsname}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
120 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
121 |
#7}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
122 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
123 |
\def\@svsechd{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
124 |
#6{\hskip #3\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
125 |
\@svsec #8}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
126 |
\csname #1mark\endcsname{#7}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
127 |
\addcontentsline{toc}{#1}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
128 |
\ifnum #2>\c@secnumdepth \else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
129 |
\protect\numberline{\csname the#1\endcsname}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
130 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
131 |
#7}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
132 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
133 |
\@xsect{#5}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
134 |
\def\@seccntformat#1{\csname the#1\endcsname} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
135 |
\def\@biblabel#1{\textcolor{lipicsGray}{\sffamily\bfseries#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
136 |
\def\EventLogoHeight{25} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
137 |
\def\copyrightline{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
138 |
\ifx\@hideLIPIcs\@undefined |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
139 |
\ifx\@EventLogo\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
140 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
141 |
\setbox\@tempboxa\hbox{\includegraphics[height=\EventLogoHeight\p@]{\@EventLogo}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
142 |
\rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
143 |
\vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
144 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
145 |
\scriptsize |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
146 |
\vtop{\hsize\textwidth |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
147 |
\nobreakspace\par |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
148 |
\@Copyright |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
149 |
\ifx\@EventLongTitle\@empty\else\@EventLongTitle.\\\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
150 |
\ifx\@EventEditors\@empty\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
151 |
\@Eds: \@EventEditors |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
152 |
; Article~No.\,\@ArticleNo; pp.\,\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
153 |
\\ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
154 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
155 |
\setbox\@tempboxa\hbox{\IfFileExists{lipics-logo-bw.pdf}{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}{\includegraphics[height=14\p@, width=62pt]{example-image-plain}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
156 |
\hspace*{\wd\@tempboxa}\enskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
157 |
\href{https://www.dagstuhl.de/lipics/}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
158 |
{Leibniz International Proceedings in Informatics}\\ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
159 |
\smash{\unhbox\@tempboxa}\enskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
160 |
\href{https://www.dagstuhl.de}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
161 |
{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
162 |
\fi} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
163 |
\def\ps@plain{\let\@mkboth\@gobbletwo |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
164 |
\let\@oddhead\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
165 |
\let\@evenhead\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
166 |
\let\@evenfoot\copyrightline |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
167 |
\let\@oddfoot\copyrightline} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
168 |
\def\lipics@opterrshort{Option "\CurrentOption" not supported} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
169 |
\def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
170 |
\DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
171 |
\DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
172 |
\DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
173 |
\DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
174 |
\DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
175 |
\DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
176 |
\DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
177 |
\DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
178 |
\DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
179 |
\DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
180 |
\DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
181 |
\DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
182 |
\DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
183 |
\DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
184 |
\DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
185 |
\DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
186 |
\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
187 |
\advance\hoffset-2.95mm |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
188 |
\advance\voffset8.8mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
189 |
\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
190 |
\DeclareOption{cleveref}{\let\usecleveref\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
191 |
\DeclareOption{autoref}{\let\useautoref\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
192 |
\DeclareOption{anonymous}{\let\authoranonymous\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
193 |
\DeclareOption{thm-restate}{\let\usethmrestate\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
194 |
\DeclareOption{authorcolumns}{\let\authorcolumns\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
195 |
\let\compactauthor\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
196 |
\DeclareOption{oldauthorstyle}{\let\compactauthor\@empty} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
197 |
\DeclareOption{compactauthor}{\let\compactauthor\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
198 |
\DeclareOption{pdfa}{\let\pdfa\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
199 |
\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
200 |
\ProcessOptions |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
201 |
\LoadClass[twoside,notitlepage,fleqn]{article} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
202 |
\renewcommand\normalsize{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
203 |
\@setfontsize\normalsize\@xpt{13}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
204 |
\abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
205 |
\abovedisplayshortskip \z@ \@plus3\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
206 |
\belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
207 |
\belowdisplayskip \abovedisplayskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
208 |
\let\@listi\@listI} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
209 |
\normalsize |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
210 |
\renewcommand\small{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
211 |
\@setfontsize\small\@ixpt{11.5}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
212 |
\abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
213 |
\abovedisplayshortskip \z@ \@plus2\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
214 |
\belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
215 |
\def\@listi{\leftmargin\leftmargini |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
216 |
\topsep 4\p@ \@plus2\p@ \@minus2\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
217 |
\parsep 2\p@ \@plus\p@ \@minus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
218 |
\itemsep \parsep}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
219 |
\belowdisplayskip \abovedisplayskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
220 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
221 |
\renewcommand\footnotesize{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
222 |
\@setfontsize\footnotesize{8.5}{9.5}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
223 |
\abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
224 |
\abovedisplayshortskip \z@ \@plus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
225 |
\belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
226 |
\def\@listi{\leftmargin\leftmargini |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
227 |
\topsep 3\p@ \@plus\p@ \@minus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
228 |
\parsep 2\p@ \@plus\p@ \@minus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
229 |
\itemsep \parsep}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
230 |
\belowdisplayskip \abovedisplayskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
231 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
232 |
\renewcommand\large{\@setfontsize\large{10.5}{13}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
233 |
\renewcommand\Large{\@setfontsize\Large{12}{14}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
234 |
\setlength\parindent{1.5em} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
235 |
\setlength\headheight{3mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
236 |
\setlength\headsep {10mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
237 |
\setlength\footskip{3mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
238 |
\setlength\textwidth{140mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
239 |
\setlength\textheight{222mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
240 |
\setlength\oddsidemargin{32mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
241 |
\setlength\evensidemargin{38mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
242 |
\setlength\marginparwidth{25mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
243 |
\setlength\topmargin{13mm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
244 |
\setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
245 |
\def\@listi{\leftmargin\leftmargini |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
246 |
\parsep\z@ \@plus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
247 |
\topsep 8\p@ \@plus2\p@ \@minus4\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
248 |
\itemsep \parsep} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
249 |
\let\@listI\@listi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
250 |
\@listi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
251 |
\def\@listii {\leftmargin\leftmarginii |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
252 |
\labelwidth\leftmarginii |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
253 |
\advance\labelwidth-\labelsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
254 |
\topsep 4\p@ \@plus2\p@ \@minus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
255 |
\parsep\z@ \@plus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
256 |
\itemsep \parsep} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
257 |
\def\@listiii{\leftmargin\leftmarginiii |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
258 |
\labelwidth\leftmarginiii |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
259 |
\advance\labelwidth-\labelsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
260 |
\topsep 2\p@ \@plus\p@\@minus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
261 |
\parsep \z@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
262 |
\partopsep \p@ \@plus\z@ \@minus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
263 |
\itemsep \z@ \@plus\p@} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
264 |
\def\ps@headings{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
265 |
\def\@evenhead{\large\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
266 |
\llap{\hbox to0.5\oddsidemargin{ \ifx\@hideLIPIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage\hss}}\leftmark\hfil}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
267 |
\def\@oddhead{\large\sffamily\bfseries\rightmark\hfil |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
268 |
\rlap{\hbox to0.5\oddsidemargin{\hss \ifx\@hideLIPIcs\@undefined\ifx\@ArticleNo\@empty\textcolor{red}{XX}\else\@ArticleNo\fi:\fi\thepage}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
269 |
\def\@oddfoot{\hfil |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
270 |
\rlap{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
271 |
\vtop{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
272 |
\vskip10mm |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
273 |
\colorbox{lipicsYellow} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
274 |
{\@tempdima\evensidemargin |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
275 |
\advance\@tempdima1in |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
276 |
\advance\@tempdima\hoffset |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
277 |
\hb@xt@\@tempdima{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
278 |
\ifx\@hideLIPIcs\@undefined |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
279 |
\textcolor{lipicsGray}{\normalsize\sffamily |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
280 |
\bfseries\quad |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
281 |
\expandafter\textsolittle |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
282 |
\expandafter{\@EventShortTitle}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
283 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
284 |
\strut\hss}}}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
285 |
\let\@evenfoot\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
286 |
\let\@mkboth\markboth |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
287 |
\let\sectionmark\@gobble |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
288 |
\let\subsectionmark\@gobble} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
289 |
\pagestyle{headings} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
290 |
\renewcommand\maketitle{\par |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
291 |
\begingroup |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
292 |
\thispagestyle{plain} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
293 |
\renewcommand\thefootnote{\@fnsymbol\c@footnote}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
294 |
\if@twocolumn |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
295 |
\ifnum \col@number=\@ne |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
296 |
\@maketitle |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
297 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
298 |
\twocolumn[\@maketitle]% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
299 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
300 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
301 |
\newpage |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
302 |
\global\@topnum\z@ % Prevents figures from going at top of page. |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
303 |
\@maketitle |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
304 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
305 |
\thispagestyle{plain}\@thanks |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
306 |
\endgroup |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
307 |
\global\let\thanks\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
308 |
\global\let\maketitle\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
309 |
\global\let\@maketitle\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
310 |
\global\let\@thanks\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
311 |
\global\let\@author\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
312 |
\global\let\@date\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
313 |
\global\let\@title\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
314 |
\global\let\@subtitle\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
315 |
\global\let\title\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
316 |
\global\let\author\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
317 |
\global\let\date\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
318 |
\global\let\and\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
319 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
320 |
\newwrite\tocfile |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
321 |
\def\@maketitle{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
322 |
\newpage |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
323 |
\null\vskip-\baselineskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
324 |
\vskip-\headsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
325 |
\@titlerunning |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
326 |
\@authorrunning |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
327 |
%%\let \footnote \thanks |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
328 |
\parindent\z@ \raggedright |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
329 |
\if!\@title!\def\@title{\textcolor{red}{Author: Please fill in a title}}\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
330 |
{\LARGE\sffamily\bfseries\mathversion{bold}\@title \if!\@subtitle!\else{\\\Large\sffamily\bfseries\mathversion{bold}\@subtitle}\fi \par}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
331 |
\vskip 1em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
332 |
\ifx\@author\orig@author |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
333 |
\textcolor{red}{Author: Please provide author information}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
334 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
335 |
{\def\thefootnote{\@arabic\c@footnote}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
336 |
\setcounter{footnote}{0}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
337 |
\fontsize{9.5}{12}\selectfont\@author}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
338 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
339 |
\bgroup |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
340 |
\immediate\openout\tocfile=\jobname.vtc |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
341 |
\protected@write\tocfile{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
342 |
\let\footnote\@gobble |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
343 |
\let\thanks\@gobble |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
344 |
\def\footnotemark{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
345 |
\def\and{and }% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
346 |
\def\,{ } |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
347 |
\def\\{ } |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
348 |
}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
349 |
\string\contitem |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
350 |
\string\title{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
351 |
\string\author{\@authorsfortoc}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
352 |
\string\page{\@ArticleNo:\thepage--\@ArticleNo:\number\numexpr\getpagerefnumber{TotPages}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
353 |
\closeout\tocfile |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
354 |
\egroup |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
355 |
\par} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
356 |
\renewcommand\tableofcontents{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
357 |
\section*{\contentsname}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
358 |
\@starttoc{toc}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
359 |
\setcounter{secnumdepth}{4} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
360 |
\renewcommand\section{\@startsection {section}{1}{\z@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
361 |
{-3.5ex \@plus -1ex \@minus -.2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
362 |
{2.3ex \@plus.2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
363 |
{\sffamily\Large\bfseries\raggedright}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
364 |
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
365 |
{-3.25ex\@plus -1ex \@minus -.2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
366 |
{1.5ex \@plus .2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
367 |
{\sffamily\Large\bfseries\raggedright}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
368 |
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
369 |
{-3.25ex\@plus -1ex \@minus -.2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
370 |
{1.5ex \@plus .2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
371 |
{\sffamily\Large\bfseries\raggedright}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
372 |
\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
373 |
{-3.25ex \@plus-1ex \@minus-.2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
374 |
{1.5ex \@plus .2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
375 |
{\sffamily\large\bfseries\raggedright}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
376 |
\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
377 |
{3.25ex \@plus1ex \@minus .2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
378 |
{-1em}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
379 |
{\sffamily\normalsize\bfseries}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
380 |
\newcommand{\proofsubparagraph}{\@startsection{subparagraph}{5}{\z@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
381 |
{3.25ex \@plus1ex \@minus .2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
382 |
{-1em}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
383 |
{\color{lipicsGray}\sffamily\normalsize\bfseries}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
384 |
\setlength\leftmargini \parindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
385 |
\setlength\leftmarginii {1.2em} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
386 |
\setlength\leftmarginiii{1.2em} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
387 |
\setlength\leftmarginiv {1.2em} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
388 |
\setlength\leftmarginv {1.2em} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
389 |
\setlength\leftmarginvi {1.2em} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
390 |
\renewcommand\labelenumi{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
391 |
\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumi.}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
392 |
\renewcommand\labelenumii{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
393 |
\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumii.}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
394 |
\renewcommand\labelenumiii{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
395 |
\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiii.}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
396 |
\renewcommand\labelenumiv{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
397 |
\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\theenumiv.}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
398 |
\renewcommand\labelitemi{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
399 |
\textcolor{lipicsBulletGray}{\ifnum\@listdepth=\@ne |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
400 |
\rule{0.67em}{0.33em}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
401 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
402 |
\rule{0.45em}{0.225em}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
403 |
\fi}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
404 |
\renewcommand\labelitemii{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
405 |
\textcolor{lipicsBulletGray}{\rule{0.45em}{0.225em}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
406 |
\renewcommand\labelitemiii{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
407 |
\textcolor{lipicsBulletGray}{\sffamily\bfseries\textasteriskcentered}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
408 |
\renewcommand\labelitemiv{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
409 |
\textcolor{lipicsBulletGray}{\sffamily\bfseries\textperiodcentered}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
410 |
\renewenvironment{description} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
411 |
{\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
412 |
\labelwidth\z@ \itemindent-\leftmargin |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
413 |
\let\makelabel\descriptionlabel}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
414 |
{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
415 |
\renewcommand*\descriptionlabel[1]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
416 |
\hspace\labelsep\textcolor{lipicsGray}{\sffamily\bfseries\mathversion{bold}#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
417 |
\def\topmattervskip{0.7} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
418 |
\renewenvironment{abstract}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
419 |
\vskip\topmattervskip\bigskipamount |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
420 |
\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
421 |
\rlap{\color{lipicsLineGray}\vrule\@width\textwidth\@height1\p@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
422 |
\hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
423 |
\large\selectfont\sffamily\bfseries\abstractname}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
424 |
\vskip3\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
425 |
\fontsize{9}{12}\selectfont |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
426 |
\noindent\ignorespaces} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
427 |
{\vskip\topmattervskip\baselineskip\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
428 |
\subjclassHeading |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
429 |
\ifx\@ccsdescString\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
430 |
\textcolor{red}{Author: Please fill in 1 or more \string\ccsdesc\space macro}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
431 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
432 |
\@ccsdescString |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
433 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
434 |
\vskip\topmattervskip\baselineskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
435 |
\noindent\keywordsHeading |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
436 |
\ifx\@keywords\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
437 |
\textcolor{red}{Author: Please fill in \string\keywords\space macro}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
438 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
439 |
\@keywords |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
440 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
441 |
\ifx\@hideLIPIcs\@undefined |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
442 |
\ifx\@DOIPrefix\@empty\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
443 |
\vskip\topmattervskip\baselineskip\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
444 |
\doiHeading\href{https://doi.org/\@lipicsdoi}{\@lipicsdoi}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
445 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
446 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
447 |
\ifx\@category\@empty\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
448 |
\vskip\topmattervskip\baselineskip\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
449 |
\categoryHeading\@category |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
450 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
451 |
\ifx\@relatedversion\@empty\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
452 |
\vskip\topmattervskip\baselineskip\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
453 |
\relatedversionHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous related version(s)}\else\@relatedversion\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
454 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
455 |
\ifx\@supplement\@empty\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
456 |
\vskip\topmattervskip\baselineskip\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
457 |
\supplementHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous supplementary material}\else\@supplement\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
458 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
459 |
\ifx\@funding\@empty\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
460 |
\vskip\topmattervskip\baselineskip\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
461 |
\fundingHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous funding}\else\@funding\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
462 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
463 |
\ifx\@acknowledgements\@empty\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
464 |
\vskip\topmattervskip\baselineskip\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
465 |
\acknowledgementsHeading\ifx\authoranonymous\relax\textcolor{red}{Anonymous acknowledgements} \else\@acknowledgements\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
466 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
467 |
\protected@write\@auxout{}{\string\gdef\string\@pageNumberEndAbstract{\thepage}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
468 |
}% end abstract |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
469 |
\renewenvironment{thebibliography}[1] |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
470 |
{\if@noskipsec \leavevmode \fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
471 |
\par |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
472 |
\@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
473 |
\@afterindenttrue |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
474 |
\@tempskipa -\@tempskipa \@afterindentfalse |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
475 |
\if@nobreak |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
476 |
\everypar{}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
477 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
478 |
\addpenalty\@secpenalty\addvspace\@tempskipa |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
479 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
480 |
\noindent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
481 |
\rlap{\color{lipicsLineGray}\vrule\@width\textwidth\@height1\p@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
482 |
\hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
483 |
\normalsize\sffamily\bfseries\refname}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
484 |
\@xsect{1ex \@plus.2ex}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
485 |
\list{\@biblabel{\@arabic\c@enumiv}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
486 |
{\leftmargin8.5mm |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
487 |
\labelsep\leftmargin |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
488 |
\settowidth\labelwidth{\@biblabel{#1}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
489 |
\advance\labelsep-\labelwidth |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
490 |
\usecounter{enumiv}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
491 |
\let\p@enumiv\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
492 |
\renewcommand\theenumiv{\@arabic\c@enumiv}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
493 |
\fontsize{9}{12}\selectfont |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
494 |
\sloppy |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
495 |
\clubpenalty4000 |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
496 |
\@clubpenalty \clubpenalty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
497 |
\widowpenalty4000% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
498 |
\sfcode`\.\@m\protected@write\@auxout{}{\string\gdef\string\@pageNumberStartBibliography{\thepage}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
499 |
{\def\@noitemerr |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
500 |
{\@latex@warning{Empty `thebibliography' environment}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
501 |
\protected@write\@auxout{}{\string\gdef\string\@pageNumberEndBibliography{\thepage}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
502 |
\endlist} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
503 |
\g@addto@macro\appendix{\immediate\write\@auxout{\string\gdef\string\@pageNumberStartAppendix{\thepage}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
504 |
\renewcommand\footnoterule{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
505 |
\kern-8\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
506 |
{\color{lipicsBulletGray}\hrule\@width40mm\@height1\p@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
507 |
\kern6.6\p@} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
508 |
\renewcommand\@makefntext[1]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
509 |
\parindent\z@\hangindent1em |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
510 |
\leavevmode |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
511 |
\hb@xt@1em{\@makefnmark\hss}#1} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
512 |
\usepackage{microtype} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
513 |
\usepackage[utf8]{inputenc} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
514 |
\ifx\pdfa\relax% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
515 |
\IfFileExists{glyphtounicode.tex}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
516 |
\input glyphtounicode |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
517 |
\pdfgentounicode=1 |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
518 |
}{}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
519 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
520 |
\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
521 |
\IfFileExists{fontawesome5.sty}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
522 |
\RequirePackage{fontawesome5}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
523 |
\IfFileExists{orcid.pdf}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
524 |
\def\orcidsymbol{\includegraphics[height=9\p@]{orcid}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
525 |
}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
526 |
\def\orcidsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faOrcid}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
527 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
528 |
\def\mailsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faIcon[regular]{envelope}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
529 |
\def\homesymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries \faHome}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
530 |
}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
531 |
\ClassWarning{Package fontawesome5 not installed}{Please install package fontawesome5} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
532 |
\def\orcidsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries ORCID}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
533 |
\def\mailsymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries @}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
534 |
\def\homesymbol{\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries H}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
535 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
536 |
\RequirePackage[T1]{fontenc} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
537 |
\RequirePackage{textcomp} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
538 |
\RequirePackage[mathscr]{eucal} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
539 |
\RequirePackage{amssymb} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
540 |
\PassOptionsToPackage{retainmissing}{MnSymbol} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
541 |
\AtBeginDocument{\@ifpackageloaded{MnSymbol}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
542 |
{\expandafter\let\csname ver@amssymb.sty\endcsname\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
543 |
\let\complement\@undefined |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
544 |
\RequirePackage{amssymb}}{}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
545 |
\RequirePackage{soul} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
546 |
\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
547 |
{.4em\@plus.275em\@minus.183em} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
548 |
\RequirePackage{color} %kept for backward compatibility |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
549 |
\AtBeginDocument{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
550 |
\@ifpackageloaded{xcolor}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
551 |
}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
552 |
\RequirePackage{xcolor} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
553 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
554 |
\definecolor{darkgray}{rgb}{0.31,0.31,0.33} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
555 |
\definecolor[named]{lipicsGray}{rgb}{0.31,0.31,0.33} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
556 |
\definecolor[named]{lipicsBulletGray}{rgb}{0.60,0.60,0.61} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
557 |
\definecolor[named]{lipicsLineGray}{rgb}{0.51,0.50,0.52} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
558 |
\definecolor[named]{lipicsLightGray}{rgb}{0.85,0.85,0.86} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
559 |
\definecolor[named]{lipicsYellow}{rgb}{0.99,0.78,0.07} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
560 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
561 |
\RequirePackage{babel} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
562 |
\RequirePackage[tbtags,fleqn]{amsmath} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
563 |
\AtBeginDocument{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
564 |
\@ifpackageloaded{enumitem}{\ClassWarning{Package 'enumitem' incompatible}{Don't use package 'enumitem'; Package enumerate preloaded!}}{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
565 |
\@ifpackageloaded{paralist}{\ClassWarning{Package 'paralist' incompatible}{Don't use package 'paralist'; Package enumerate preloaded!}}{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
566 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
567 |
\RequirePackage{enumerate} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
568 |
\def\@enum@{\list{\textcolor{lipicsGray}{\sffamily\bfseries\upshape\mathversion{bold}\csname label\@enumctr\endcsname}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
569 |
{\advance\partopsep\topsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
570 |
\topsep\z@\@plus\p@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
571 |
\usecounter{\@enumctr}\def\makelabel##1{\hss\llap{##1}}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
572 |
\def\romanenumerate{\enumerate[(i)]} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
573 |
\let\endromanenumerate\endenumerate |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
574 |
\def\alphaenumerate{\enumerate[(a)]} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
575 |
\let\endalphaenumerate\endenumerate |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
576 |
\def\bracketenumerate{\enumerate[(1)]} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
577 |
\let\endbracketenumerate\endenumerate |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
578 |
\RequirePackage{graphicx} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
579 |
\RequirePackage{array} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
580 |
\let\@classzold\@classz |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
581 |
\def\@classz{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
582 |
\expandafter\ifx\d@llarbegin\begingroup |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
583 |
\toks \count@ = |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
584 |
\expandafter{\expandafter\small\the\toks\count@}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
585 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
586 |
\@classzold} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
587 |
\RequirePackage{multirow} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
588 |
\RequirePackage{tabularx} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
589 |
\RequirePackage[online]{threeparttable} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
590 |
\def\TPTtagStyle#1{#1)} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
591 |
\def\tablenotes{\small\TPT@defaults |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
592 |
\@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ] |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
593 |
\RequirePackage{listings} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
594 |
\lstset{basicstyle=\small\ttfamily,% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
595 |
backgroundcolor=\color{lipicsLightGray},% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
596 |
frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
597 |
\RequirePackage[left,mathlines]{lineno} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
598 |
\linenumbers |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
599 |
\renewcommand\linenumberfont{\normalfont\tiny\sffamily} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
600 |
%%%% patch to cope with amsmath |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
601 |
%%%% http://phaseportrait.blogspot.de/2007/08/lineno-and-amsmath-compatibility.html |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
602 |
\newcommand*\patchAmsMathEnvironmentForLineno[1]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
603 |
\expandafter\let\csname old#1\expandafter\endcsname\csname #1\endcsname |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
604 |
\expandafter\let\csname oldend#1\expandafter\endcsname\csname end#1\endcsname |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
605 |
\renewenvironment{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
606 |
{\linenomath\csname old#1\endcsname}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
607 |
{\csname oldend#1\endcsname\endlinenomath}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
608 |
\newcommand*\patchBothAmsMathEnvironmentsForLineno[1]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
609 |
\patchAmsMathEnvironmentForLineno{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
610 |
\patchAmsMathEnvironmentForLineno{#1*}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
611 |
\AtBeginDocument{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
612 |
\patchBothAmsMathEnvironmentsForLineno{equation}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
613 |
\patchBothAmsMathEnvironmentsForLineno{align}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
614 |
\patchBothAmsMathEnvironmentsForLineno{flalign}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
615 |
\patchBothAmsMathEnvironmentsForLineno{alignat}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
616 |
\patchBothAmsMathEnvironmentsForLineno{gather}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
617 |
\patchBothAmsMathEnvironmentsForLineno{multline}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
618 |
\let\usehyperxmp\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
619 |
\ifx\pdfa\relax% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
620 |
\IfFileExists{hyperxmp.sty}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
621 |
\RequirePackage{hyperxmp}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
622 |
\@ifpackagelater{hyperxmp}{2019/04/05}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
623 |
\let\usehyperxmp\relax% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
624 |
}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
625 |
\ClassWarning{Package hyperxmp outdated}{You are using an outdated version of the package hyperxmp. Please update!}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
626 |
}}{}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
627 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
628 |
\IfFileExists{totpages.sty}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
629 |
\RequirePackage{totpages} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
630 |
}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
631 |
\ClassWarning{Package totpages not installed}{Please install package totpages} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
632 |
\newcounter{TotPages} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
633 |
\setcounter{TotPages}{99} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
634 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
635 |
\ifx\usehyperxmp\relax% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
636 |
\RequirePackage[pdfa,unicode]{hyperref}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
637 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
638 |
\RequirePackage[unicode]{hyperref}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
639 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
640 |
\let\C\relax% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
641 |
\let\G\relax% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
642 |
\let\F\relax% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
643 |
\let\U\relax% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
644 |
\pdfstringdefDisableCommands{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
645 |
\let\thanks\@gobble% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
646 |
\let\footnote\@gobble% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
647 |
\def\footnotemark{}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
648 |
\def\cs#1{\textbackslash #1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
649 |
\let\normalfont\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
650 |
\let\scshape\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
651 |
\def\and{and }% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
652 |
\def\,{ }% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
653 |
\def\textrightarrow{ -> }% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
654 |
\let\mathsf\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
655 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
656 |
\hypersetup{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
657 |
breaklinks=true, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
658 |
pdfencoding=unicode, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
659 |
bookmarksnumbered, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
660 |
pdfborder={0 0 0}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
661 |
pdfauthor={ } |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
662 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
663 |
\AtBeginDocument{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
664 |
\ifx\usehyperxmp\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
665 |
\hypersetup{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
666 |
pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
667 |
pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
668 |
pdfkeywords={\@keywords}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
669 |
pdfproducer={LaTeX with lipics-v2021.cls}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
670 |
pdfsubject={LIPIcs, Vol.\@SeriesVolume, \@EventShortTitle}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
671 |
pdfcopyright = { Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
672 |
pdflang={en}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
673 |
pdfmetalang={en}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
674 |
pdfpublisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
675 |
pdflicenseurl={https://creativecommons.org/licenses/by/4.0/}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
676 |
pdfpubtype={LIPIcs}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
677 |
pdfvolumenum={\@SeriesVolume}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
678 |
pdfpagerange={\@ArticleNo:\thepage-\@ArticleNo:\theTotPages}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
679 |
pdfdoi={}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
680 |
pdfapart=3, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
681 |
pdfaconformance=B |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
682 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
683 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
684 |
\hypersetup{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
685 |
pdftitle={\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
686 |
pdfauthor={\ifx\authoranonymous\relax Anonymous author(s) \else \@authorsforpdf \fi}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
687 |
pdfkeywords={\@keywords}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
688 |
pdfcreator={LaTeX with lipics-v2021.cls}, |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
689 |
pdfsubject={LIPIcs, Vol.\@SeriesVolume, \@EventShortTitle; Copyright (C) \ifx\authoranonymous\relax Anonymous author(s) \else \@copyrightholder; \fi licensed under Creative Commons License CC-BY 4.0} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
690 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
691 |
\fi % |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
692 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
693 |
\ifx\usehyperxmp\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
694 |
\pdfobjcompresslevel=0 |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
695 |
\pdfinclusioncopyfonts=1 |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
696 |
\IfFileExists{colorprofiles.tex}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
697 |
\RequirePackage{colorprofiles}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
698 |
\IfFileExists{sRGB.icc}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
699 |
\immediate\pdfobj stream attr{/N 3} file{sRGB.icc} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
700 |
\pdfcatalog{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
701 |
/OutputIntents [ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
702 |
<< |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
703 |
/Type /OutputIntent |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
704 |
/S /GTS_PDFA1 |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
705 |
/DestOutputProfile \the\pdflastobj\space 0 R |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
706 |
/OutputConditionIdentifier (sRGB) |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
707 |
/Info (sRGB) |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
708 |
>> |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
709 |
] |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
710 |
}}{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
711 |
}{\ClassWarning{Package colorprofiles not installed}{Please install package colorprofiles}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
712 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
713 |
\RequirePackage[labelsep=space,singlelinecheck=false,% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
714 |
font={up,small},labelfont={sf,bf},% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
715 |
listof=false]{caption}%"listof" instead of "list" for backward compatibility |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
716 |
\@ifpackagelater{hyperref}{2009/12/09} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
717 |
{\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
718 |
{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
719 |
\DeclareCaptionLabelFormat{boxed}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
720 |
\kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
721 |
\hspace*{0.67em}\bothIfFirst{#1}{~}#2} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
722 |
\captionsetup{labelformat=boxed} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
723 |
\captionsetup[table]{position=top} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
724 |
\RequirePackage[figuresright]{rotating} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
725 |
\caption@AtBeginDocument{\@ifpackageloaded{subfig}{\ClassError{lipics}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
726 |
Do not load the subfig package}{The more recent subcaption package is already loaded}}{}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
727 |
\RequirePackage{subcaption} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
728 |
\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
729 |
\def\authorrunning#1{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
730 |
\gdef\@authorrunning{\markright{\ifx\authoranonymous\relax\textcolor{red}{Anonymous author(s)} \else\if!#1!\textcolor{red}{Author: Please fill in the \string\authorrunning\space macro}\else#1\fi\fi}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
731 |
\titlerunning{\@title \if!\@subtitle!\else\subtitleseperator \@subtitle\fi} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
732 |
\authorrunning{\textcolor{red}{Author: Please use the \string\authorrunning\space macro}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
733 |
\def\EventLongTitle#1{\gdef\@EventLongTitle{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
734 |
\EventLongTitle{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
735 |
\def\EventShortTitle#1{\gdef\@EventShortTitle{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
736 |
\EventShortTitle{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
737 |
\def\EventEditors#1{\gdef\@EventEditors{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
738 |
\EventEditors{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
739 |
\def\EventNoEds#1{\gdef\@EventNoEds{#1}\xdef\@Eds{Editor\ifnum#1>1s\fi}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
740 |
\EventNoEds{1} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
741 |
\def\EventLogo#1{\gdef\@EventLogo{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
742 |
\EventLogo{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
743 |
\def\EventAcronym#1{\gdef\@EventAcronym{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
744 |
\EventAcronym{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
745 |
\def\EventYear#1{\gdef\@EventYear{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
746 |
\EventYear{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
747 |
\def\EventDate#1{\gdef\@EventDate{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
748 |
\EventDate{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
749 |
\def\EventLocation#1{\gdef\@EventLocation{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
750 |
\EventLocation{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
751 |
\def\SeriesVolume#1{\gdef\@SeriesVolume{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
752 |
\SeriesVolume{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
753 |
\def\ArticleNo#1{\gdef\@ArticleNo{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
754 |
\ArticleNo{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
755 |
\def\DOIPrefix#1{\gdef\@DOIPrefix{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
756 |
\DOIPrefix{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
757 |
\def\@lipicsdoi{\@DOIPrefix.\@EventAcronym.\@EventYear.\@ArticleNo} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
758 |
\def\and{\newline} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
759 |
\let\orig@author\@author |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
760 |
\let\@authorsfortoc\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
761 |
\let\@authorsforpdf\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
762 |
\newcount\c@author |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
763 |
\newcounter{currentauthor} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
764 |
\def\authorcolumnsMin{6} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
765 |
\def\@authornum{0} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
766 |
\def\author#1#2#3#4#5{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
767 |
\ifx\@author\orig@author\let\@author\@empty\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
768 |
\g@addto@macro\@author{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
769 |
\noexpandarg\StrBehind{#2}{\and \url}[\homepageTemp]\IfSubStr{#2}{\and \url}{\StrBefore{#2}{\and \url}[\affiliation]}{\def\affiliation{#2}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
770 |
\expandarg\exploregroups\StrRemoveBraces{\homepageTemp}[\homepage]% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
771 |
\ifx\authorcolumns\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
772 |
\ifnum\c@author>\authorcolumnsMin |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
773 |
\stepcounter{currentauthor} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
774 |
\ifodd\value{currentauthor} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
775 |
\begin{minipage}[t]{\textwidth} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
776 |
\begin{minipage}[t]{0.49\textwidth} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
777 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
778 |
\hfill \begin{minipage}[t]{0.49\textwidth} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
779 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
780 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
781 |
\ClassWarning{Option 'authorcolumns' only applicable for > 6 authors}{Option 'authorcolumns' only applicable for >6 authors!} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
782 |
\addvspace{0.5\baselineskip} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
783 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
784 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
785 |
\addvspace{0.5\baselineskip} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
786 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
787 |
{\Large\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
788 |
\if!#1! |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
789 |
\textcolor{red}{Author: Please enter author name}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
790 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
791 |
\ifx\authoranonymous\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
792 |
\textcolor{red}{Anonymous author} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
793 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
794 |
#1\,% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
795 |
\ifx\compactauthor\relax\if!#3!\else{\,\href{mailto:#3}{\mailsymbol}}\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
796 |
\ifx\homepage\@empty\else{\,\href{\homepage}{\homesymbol}}\fi\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
797 |
\if!#4!\else{\,\href{#4}{\orcidsymbol}}\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
798 |
\if!#5!\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
799 |
\ifx\@funding\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
800 |
\expandafter\g@addto@macro\expandafter\@funding{\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
801 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
802 |
\expandafter\g@addto@macro\expandafter\@funding{\\\textit{\expandafter{\let\footnote\@gobble #1}}:\space{#5}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
803 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
804 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
805 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
806 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
807 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
808 |
{\small |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
809 |
\if!#2!\textcolor{red}{Author: Please enter affiliation as second parameter of the author macro}\else{\\* \ifx\authoranonymous\relax\textcolor{red}{Anonymous affiliation}\else\ifx\compactauthor\relax \affiliation \else#2\fi\fi}\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
810 |
\ifx\compactauthor\relax\else\if!#3!\else{\ifx\authoranonymous\relax\else\\*\href{mailto:#3}{#3}\fi}\fi\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
811 |
}\par |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
812 |
\ifx\authorcolumns\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
813 |
\ifnum\c@author>\authorcolumnsMin |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
814 |
\end{minipage} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
815 |
\ifnum\c@author=\value{currentauthor} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
816 |
\end{minipage} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
817 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
818 |
\ifodd\value{currentauthor} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
819 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
820 |
\end{minipage}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
821 |
\medskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
822 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
823 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
824 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
825 |
\fi}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
826 |
\global\advance\c@author\@ne |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
827 |
\protected@write\@auxout{}{\string\gdef\string\@authornum{\the\c@author}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
828 |
\ifnum\c@author=\@ne |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
829 |
\gdef\@authorsfortoc{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
830 |
\gdef\@authorsforpdf{#1} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
831 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
832 |
\expandafter\g@addto@macro\expandafter\@authorsforpdf\expandafter{, #1} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
833 |
\expandafter\g@addto@macro\expandafter\@authorsfortoc\expandafter{\expandafter\csname\the\c@author authand\endcsname#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
834 |
\@namedef{\the\c@author authand}{,\space}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
835 |
\AtBeginDocument{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
836 |
\expandafter\ifnum\@authornum=2 |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
837 |
\@namedef{2authand}{\space and\space}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
838 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
839 |
\@namedef{\@authornum authand}{,\space and\space}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
840 |
\fi} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
841 |
\fi} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
842 |
\newcommand*\affil[2][]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
843 |
\ClassError{lipics} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
844 |
{\string\affil\space deprecated: Please enter affiliation as second parameter of the author macro} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
845 |
{Since 2017, \string\affil\space is obsolete in lipics.}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
846 |
\newcommand*\Copyright[1]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
847 |
\def\@copyrightholder{#1} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
848 |
\def\@Copyright{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
849 |
\setbox\@tempboxa\hbox{\IfFileExists{cc-by.pdf}{\includegraphics[height=14\p@,clip]{cc-by}}{\includegraphics[height=14\p@, width=40pt]{example-image-plain}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
850 |
\@rightskip\@flushglue \rightskip\@rightskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
851 |
\hangindent\dimexpr\wd\@tempboxa+0.5em\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
852 |
\href{https://creativecommons.org/licenses/by/4.0/}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
853 |
{\smash{\lower\baselineskip\hbox{\unhcopy\@tempboxa}}}\enskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
854 |
\textcopyright\ % |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
855 |
\ifx!#1!\textcolor{red}{Author: Please fill in the \string\Copyright\space macro}\else\ifx\authoranonymous\relax\textcolor{red}{Anonymous author(s)}\else#1\fi\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
856 |
;\\% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
857 |
licensed under Creative Commons License CC-BY 4.0\ifx!#1!\\\null\fi\par}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
858 |
\Copyright{\textcolor{red}{Author: Please provide a copyright holder}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
859 |
\let\@copyrightholder\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
860 |
\def\hideLIPIcs{\let\@hideLIPIcs\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
861 |
\usepackage{xstring} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
862 |
\def\keywords#1{\def\@keywords{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
863 |
\let\@keywords\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
864 |
\def\keywordsHeading{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
865 |
\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
866 |
Keywords and phrases\enskip}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
867 |
\RequirePackage{comment} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
868 |
\excludecomment{CCSXML} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
869 |
% inspired by https://tex.stackexchange.com/questions/12810/how-do-i-split-a-string |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
870 |
\global\newcommand\ccsdesc[2][100]{\@ccsdesc#1~#2~~\relax} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
871 |
\let\orig@ccsdesc\@ccsdesc |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
872 |
\let\@ccsdesc\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
873 |
\let\@ccsdescString\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
874 |
\gdef\@ccsdesc#1~#2~#3~{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
875 |
\ifx\@ccsdesc\orig@ccsdesc\let\@ccsdesc\@empty\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
876 |
\ifx!#3! |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
877 |
\ifx\@ccsdescString\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
878 |
\g@addto@macro\@ccsdescString{{#2}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
879 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
880 |
\g@addto@macro\@ccsdescString{; {#2}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
881 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
882 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
883 |
\ifx\@ccsdescString\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
884 |
\g@addto@macro\@ccsdescString{{#2} $\rightarrow$ {#3}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
885 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
886 |
\g@addto@macro\@ccsdescString{; {#2} $\rightarrow$ {#3}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
887 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
888 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
889 |
\ccsdescEnd |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
890 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
891 |
\def\ccsdescEnd#1\relax{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
892 |
\def\subjclass#1{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
893 |
\ClassError{lipics} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
894 |
{\string\subjclass\space deprecated: Please enter subject classification in 1 or more ccsdesc macros} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
895 |
{Since 2019, \string\subjclass\space is obsolete in lipics.}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
896 |
\let\@subjclass\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
897 |
\def\subjclassHeading{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
898 |
\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
899 |
2012 ACM Subject Classification\enskip}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
900 |
\def\doiHeading{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
901 |
\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
902 |
Digital Object Identifier\enskip}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
903 |
\def\category#1{\def\@category{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
904 |
\let\@category\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
905 |
\def\categoryHeading{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
906 |
\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
907 |
Category\enskip}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
908 |
\def\relatedversion#1{\def\@relatedversion{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
909 |
\let\@relatedversion\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
910 |
\define@key{relatedversiondetails}{linktext}{\def\relatedversiondetails@linktext{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
911 |
\define@key{relatedversiondetails}{cite}{\def\relatedversiondetails@cite{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
912 |
\newcommand*\addtorelatedversionmacro[2]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
913 |
\ifx\@relatedversion\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
914 |
\g@addto@macro\@relatedversion{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
915 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
916 |
\g@addto@macro\@relatedversion{\\#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
917 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
918 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
919 |
\newcommand{\relatedversiondetails}[3][]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
920 |
\begingroup% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
921 |
\let\relatedversiondetails@linktext\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
922 |
\let\relatedversiondetails@cite\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
923 |
\setkeys{relatedversiondetails}{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
924 |
\ifx\relatedversiondetails@linktext\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
925 |
\protected@edef\tmp{\textit{#2}:\space{\url{#3}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
926 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
927 |
\protected@edef\tmp{\textit{#2}:\space{\href{#3}{\texttt{\relatedversiondetails@linktext}}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
928 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
929 |
\ifx\relatedversiondetails@cite\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
930 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
931 |
\protected@edef\tmp{\tmp\nobreakspace\cite{\relatedversiondetails@cite}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
932 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
933 |
\expandafter\addtorelatedversionmacro\expandafter{\tmp}{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
934 |
\endgroup% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
935 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
936 |
\def\relatedversionHeading{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
937 |
\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
938 |
Related Version\enskip}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
939 |
\def\supplement#1{\def\@supplement{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
940 |
\let\@supplement\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
941 |
\define@key{supplementdetails}{linktext}{\def\supplementdetails@linktext{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
942 |
\define@key{supplementdetails}{cite}{\def\supplementdetails@cite{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
943 |
\define@key{supplementdetails}{subcategory}{\def\supplementdetails@subcategory{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
944 |
\define@key{supplementdetails}{swhlinktext}{\def\supplementdetails@swhlinktext{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
945 |
\let\supplementdetails@swhlinktext\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
946 |
\define@key{supplementdetails}{swhid}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
947 |
\ifx\supplementdetails@swhlinktext\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
948 |
\StrBefore{#1}{;}[\supplementdetails@swhlinktext]% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
949 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
950 |
\def\supplementdetails@swhid{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
951 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
952 |
|
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
953 |
\define@key{supplementdetails}{swhdelimiter}{\def\supplementdetails@swhdelimiter{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
954 |
\def\supplementdetails@swhdelimiter{\\ \hspace*{1.2em}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
955 |
\newcommand*\addtosupplementmacro[2]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
956 |
\ifx\@supplement\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
957 |
\g@addto@macro\@supplement{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
958 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
959 |
\g@addto@macro\@supplement{\\#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
960 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
961 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
962 |
\newcommand{\supplementdetails}[3][]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
963 |
\begingroup% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
964 |
\let\supplementdetails@linktext\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
965 |
\let\supplementdetails@cite\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
966 |
\let\supplementdetails@subcategory\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
967 |
\let\supplementdetails@swhid\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
968 |
\setkeys{supplementdetails}{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
969 |
\ifx\supplementdetails@subcategory\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
970 |
\protected@edef\tmp{\textit{#2}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
971 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
972 |
\protected@edef\tmp{\textit{#2\,\,(\supplementdetails@subcategory)}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
973 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
974 |
\ifx\supplementdetails@linktext\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
975 |
\protected@edef\tmp{\tmp:\space{\url{#3}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
976 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
977 |
\protected@edef\tmp{\tmp:\space{\href{#3}{\texttt{\supplementdetails@linktext}}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
978 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
979 |
\ifx\supplementdetails@cite\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
980 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
981 |
\protected@edef\tmp{\tmp\nobreakspace\cite{\supplementdetails@cite}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
982 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
983 |
\ifx\supplementdetails@swhid\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
984 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
985 |
\ifx\supplementdetails@swhlinktext\@empty% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
986 |
\protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at % |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
987 |
\href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhid}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
988 |
\else% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
989 |
\protected@edef\tmp{\tmp \supplementdetails@swhdelimiter{} archived at % |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
990 |
\href{https://archive.softwareheritage.org/\supplementdetails@swhid}{\nolinkurl{\supplementdetails@swhlinktext}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
991 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
992 |
\fi% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
993 |
\expandafter\addtosupplementmacro\expandafter{\tmp}{#1}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
994 |
\endgroup% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
995 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
996 |
\def\supplementHeading{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
997 |
\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
998 |
Supplementary Material\enskip}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
999 |
\newcommand\flag[2][0.9cm]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1000 |
\leavevmode\marginpar{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1001 |
\raisebox{\dimexpr-\totalheight+\ht\strutbox\relax}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1002 |
[\dimexpr\ht\strutbox+3mm][\dp\strutbox]{\expandafter\includegraphics[width=#1]{#2}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1003 |
}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1004 |
\def\funding#1{\def\@funding{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1005 |
\let\@funding\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1006 |
\def\fundingHeading{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1007 |
\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1008 |
Funding\enskip}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1009 |
\def\acknowledgements#1{\def\@acknowledgements{#1}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1010 |
\let\@acknowledgements\@empty |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1011 |
\def\acknowledgementsHeading{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1012 |
\textcolor{lipicsGray}{\fontsize{9}{12}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1013 |
Acknowledgements\enskip}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1014 |
\RequirePackage{amsthm} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1015 |
\ifx\usethmrestate\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1016 |
\RequirePackage{thm-restate} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1017 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1018 |
\thm@headfont{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1019 |
\textcolor{lipicsGray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1020 |
\def\th@remark{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1021 |
\thm@headfont{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1022 |
\textcolor{lipicsGray}{$\blacktriangleright$}\nobreakspace\sffamily}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1023 |
\normalfont % body font |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1024 |
\thm@preskip\topsep \divide\thm@preskip\tw@ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1025 |
\thm@postskip\thm@preskip |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1026 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1027 |
\def\@endtheorem{\endtrivlist}%\@endpefalse |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1028 |
\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1029 |
\renewenvironment{proof}[1][\proofname]{\par |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1030 |
\pushQED{\qed}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1031 |
\normalfont \topsep6\p@\@plus6\p@\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1032 |
\trivlist |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1033 |
\item[\hskip\labelsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1034 |
\color{lipicsGray}\sffamily\bfseries |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1035 |
#1\@addpunct{.}]\ignorespaces |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1036 |
}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1037 |
\popQED\endtrivlist%\@endpefalse |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1038 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1039 |
\newcommand{\claimqedhere}{\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\vartriangleleft}}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1040 |
\qedhere% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1041 |
\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1042 |
\newenvironment{claimproof}[1][\proofname]{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1043 |
\pushQED{\qed}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1044 |
\normalfont \topsep6\p@\@plus6\p@\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1045 |
\trivlist |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1046 |
\item[\hskip\labelsep |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1047 |
\color{lipicsGray}\sffamily |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1048 |
#1\@addpunct{.}]\ignorespaces |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1049 |
}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1050 |
\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\vartriangleleft}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1051 |
\popQED\endtrivlist%\@endpefalse |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1052 |
\renewcommand\qedsymbol{\textcolor{lipicsGray}{\ensuremath{\blacktriangleleft}}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1053 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1054 |
% inspired by qed of amsthm class |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1055 |
\DeclareRobustCommand{\lipicsEnd}{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1056 |
\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1057 |
\quad\hbox{$\lrcorner$}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1058 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1059 |
\AtBeginDocument{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1060 |
\@ifpackageloaded{algorithm2e}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1061 |
\@ifpackagelater{algorithm2e}{2009/11/17}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1062 |
\renewcommand{\algorithmcfname}{\sffamily\bfseries{}Algorithm}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1063 |
\renewcommand{\@algocf@procname}{\sffamily\bfseries{}Procedure}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1064 |
\SetAlgoCaptionSeparator{~} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1065 |
\SetAlCapHSkip{0pt} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1066 |
\renewcommand{\algocf@captiontext}[2]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1067 |
\kern0.05em{\color{lipicsYellow}\rule{0.73em}{0.73em}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1068 |
\hspace*{0.67em}\small #1\algocf@capseparator\nobreakspace#2} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1069 |
\renewcommand{\algocf@makecaption}[2]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1070 |
\parbox[t]{\textwidth}{\algocf@captiontext{#1}{#2}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1071 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1072 |
\renewcommand{\algocf@captionproctext}[2]{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1073 |
{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1074 |
\kern0.05em{\color{lipicsYellow}\rule{0.73em}{0.73em}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1075 |
\hspace*{0.67em}\small% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1076 |
\ProcSty{\ProcFnt\algocf@procname\ifthenelse{\boolean{algocf@procnumbered}}{\nobreakspace\thealgocf\algocf@typo\algocf@capseparator}{\relax}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1077 |
\nobreakspace\ProcNameSty{\ProcNameFnt\algocf@captname #2@}% Name of the procedure in ProcName Style. |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1078 |
\ifthenelse{\equal{\algocf@captparam #2@}{\arg@e}}{}{% if no argument, write nothing |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1079 |
\ProcNameSty{\ProcNameFnt(}\ProcArgSty{\ProcArgFnt\algocf@captparam #2@}\ProcNameSty{\ProcNameFnt)}%else put arguments in ProcArgSty: |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1080 |
}% endif |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1081 |
\algocf@captother #2@% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1082 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1083 |
}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1084 |
\renewcommand{\@algocf@capt@boxed}{above} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1085 |
\renewcommand{\@algocf@capt@ruled}{above} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1086 |
\setlength\algotitleheightrule{0pt} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1087 |
}{\ClassWarning{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1088 |
Package algorithm2e outdated}{You are using an outdated version of the package algorithm2e. Please update!}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1089 |
}{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1090 |
\@ifpackageloaded{algorithm}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1091 |
\captionsetup[algorithm]{name=Algorithm, labelformat=boxed, position=top} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1092 |
\newcommand\fs@ruled@notop{\def\@fs@cfont{\bfseries}\let\@fs@capt\floatc@ruled |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1093 |
\def\@fs@pre{}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1094 |
\def\@fs@post{\kern2pt\hrule\relax}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1095 |
\def\@fs@mid{\kern2pt\hrule\kern2pt}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1096 |
\let\@fs@iftopcapt\iftrue} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1097 |
\@ifundefined{fst@algorithm}{}{ |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1098 |
\renewcommand\fst@algorithm{\fs@ruled@notop} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1099 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1100 |
}{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1101 |
\ifx\usecleveref\relax\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1102 |
\@ifpackageloaded{cleveref}{\ClassWarning{Use document option 'cleveref' instead}{Use document option 'cleveref' instead directly loading package 'cleveref'}}{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1103 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1104 |
\ifx\usethmrestate\relax\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1105 |
\@ifpackageloaded{thm-restate}{\ClassWarning{Use document option 'thm-restate' instead}{Use document option 'thm-restate' instead directly loading package 'thm-restate'}}{} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1106 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1107 |
\ifx\useautoref\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1108 |
\@ifundefined{algorithmautorefname}{\newcommand{\algorithmautorefname}{Algorithm}}{\renewcommand{\algorithmautorefname}{Algorithm}}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1109 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1110 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1111 |
|
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1112 |
\ifx\usecleveref\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1113 |
\RequirePackage[capitalise, noabbrev]{cleveref} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1114 |
\crefname{algocf}{Algorithm}{Algorithms} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1115 |
\Crefname{algocf}{Algorithm}{Algorithms} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1116 |
\newcommand{\crefrangeconjunction}{--} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1117 |
\newcommand{\creflastconjunction}{, and\nobreakspace} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1118 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1119 |
\ifx\useautoref\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1120 |
\RequirePackage{aliascnt} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1121 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1122 |
\newtheoremstyle{claimstyle}{\topsep}{\topsep}{}{0pt}{\sffamily}{. }{5pt plus 1pt minus 1pt}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1123 |
{$\vartriangleright$ \thmname{#1}\thmnumber{ #2}\thmnote{ (#3)}} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1124 |
\theoremstyle{plain} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1125 |
\newtheorem{theorem}{Theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1126 |
\ifx\numberwithinsect\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1127 |
\@addtoreset{theorem}{section} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1128 |
\expandafter\def\expandafter\thetheorem\expandafter{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1129 |
\expandafter\thesection\expandafter\@thmcountersep\thetheorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1130 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1131 |
|
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1132 |
\ifx\useautoref\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1133 |
\addto\extrasenglish{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1134 |
\def\chapterautorefname{Chapter}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1135 |
\def\sectionautorefname{Section}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1136 |
\def\subsectionautorefname{Subsection}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1137 |
\def\subsubsectionautorefname{Subsubsection}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1138 |
\def\paragraphautorefname{Paragraph}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1139 |
\def\subparagraphautorefname{Subparagraph}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1140 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1141 |
\addto\extrasUKenglish{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1142 |
\def\chapterautorefname{Chapter}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1143 |
\def\sectionautorefname{Section}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1144 |
\def\subsectionautorefname{Subsection}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1145 |
\def\subsubsectionautorefname{Subsubsection}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1146 |
\def\paragraphautorefname{Paragraph}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1147 |
\def\subparagraphautorefname{Subparagraph}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1148 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1149 |
\addto\extrasUSenglish{% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1150 |
\def\chapterautorefname{Chapter}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1151 |
\def\sectionautorefname{Section}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1152 |
\def\subsectionautorefname{Subsection}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1153 |
\def\subsubsectionautorefname{Subsubsection}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1154 |
\def\paragraphautorefname{Paragraph}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1155 |
\def\subparagraphautorefname{Subparagraph}% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1156 |
} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1157 |
\ifx\usethmrestate\relax |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1158 |
\newtheorem{lemma}[theorem]{Lemma} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1159 |
\newtheorem{corollary}[theorem]{Corollary} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1160 |
\newtheorem{proposition}[theorem]{Proposition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1161 |
\newtheorem{exercise}[theorem]{Exercise} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1162 |
\newtheorem{definition}[theorem]{Definition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1163 |
\newtheorem{conjecture}[theorem]{Conjecture} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1164 |
\newtheorem{observation}[theorem]{Observation} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1165 |
\theoremstyle{definition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1166 |
\newtheorem{example}[theorem]{Example} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1167 |
\theoremstyle{remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1168 |
\newtheorem{note}[theorem]{Note} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1169 |
\newtheorem*{note*}{Note} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1170 |
\newtheorem{remark}[theorem]{Remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1171 |
\newtheorem*{remark*}{Remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1172 |
\theoremstyle{claimstyle} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1173 |
\newtheorem{claim}[theorem]{Claim} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1174 |
\newtheorem*{claim*}{Claim} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1175 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1176 |
\newaliascnt{lemma}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1177 |
\newtheorem{lemma}[lemma]{Lemma} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1178 |
\aliascntresetthe{lemma} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1179 |
\newcommand{\lemmaautorefname}{Lemma} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1180 |
\newaliascnt{corollary}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1181 |
\newtheorem{corollary}[corollary]{Corollary} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1182 |
\aliascntresetthe{corollary} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1183 |
\newcommand{\corollaryautorefname}{Corollary} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1184 |
\newaliascnt{proposition}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1185 |
\newtheorem{proposition}[proposition]{Proposition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1186 |
\aliascntresetthe{proposition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1187 |
\newcommand{\propositionautorefname}{Proposition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1188 |
\newaliascnt{exercise}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1189 |
\newtheorem{exercise}[exercise]{Exercise} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1190 |
\aliascntresetthe{exercise} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1191 |
\newcommand{\exerciseautorefname}{Exercise} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1192 |
\newaliascnt{definition}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1193 |
\newtheorem{definition}[definition]{Definition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1194 |
\aliascntresetthe{definition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1195 |
\newcommand{\definitionautorefname}{Definition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1196 |
\newaliascnt{conjecture}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1197 |
\newtheorem{conjecture}[conjecture]{Conjecture} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1198 |
\aliascntresetthe{conjecture} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1199 |
\newcommand{\conjectureautorefname}{Conjecture} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1200 |
\newaliascnt{observation}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1201 |
\newtheorem{observation}[observation]{Observation} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1202 |
\aliascntresetthe{observation} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1203 |
\newcommand{\observationautorefname}{Observation} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1204 |
\theoremstyle{definition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1205 |
\newaliascnt{example}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1206 |
\newtheorem{example}[example]{Example} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1207 |
\aliascntresetthe{example} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1208 |
\newcommand{\exampleautorefname}{Example} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1209 |
\theoremstyle{remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1210 |
\newaliascnt{note}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1211 |
\newtheorem{note}[note]{Note} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1212 |
\aliascntresetthe{note} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1213 |
\newcommand{\noteautorefname}{Note} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1214 |
\newtheorem*{note*}{Note} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1215 |
\newaliascnt{remark}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1216 |
\newtheorem{remark}[remark]{Remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1217 |
\aliascntresetthe{remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1218 |
\newcommand{\remarkautorefname}{Remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1219 |
\newtheorem*{remark*}{Remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1220 |
\theoremstyle{claimstyle} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1221 |
\newaliascnt{claim}{theorem} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1222 |
\newtheorem{claim}[claim]{Claim} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1223 |
\aliascntresetthe{claim} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1224 |
\newcommand{\claimautorefname}{Claim} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1225 |
\newtheorem*{claim*}{Claim} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1226 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1227 |
\else |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1228 |
\newtheorem{lemma}[theorem]{Lemma} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1229 |
\newtheorem{corollary}[theorem]{Corollary} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1230 |
\newtheorem{proposition}[theorem]{Proposition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1231 |
\newtheorem{exercise}[theorem]{Exercise} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1232 |
\newtheorem{definition}[theorem]{Definition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1233 |
\newtheorem{conjecture}[theorem]{Conjecture} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1234 |
\newtheorem{observation}[theorem]{Observation} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1235 |
\theoremstyle{definition} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1236 |
\newtheorem{example}[theorem]{Example} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1237 |
\theoremstyle{remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1238 |
\newtheorem{note}[theorem]{Note} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1239 |
\newtheorem*{note*}{Note} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1240 |
\newtheorem{remark}[theorem]{Remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1241 |
\newtheorem*{remark*}{Remark} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1242 |
\theoremstyle{claimstyle} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1243 |
\newtheorem{claim}[theorem]{Claim} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1244 |
\newtheorem*{claim*}{Claim} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1245 |
\fi |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1246 |
\theoremstyle{plain} |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1247 |
\endinput |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1248 |
%% |
f493a20feeb3
updated to include the paper
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1249 |
%% End of file `lipics-v2021.cls'. |