|
17
|
1 |
%%
|
|
|
2 |
%% This is file `lipics.cls',
|
|
|
3 |
%% generated with the docstrip utility.
|
|
|
4 |
%%
|
|
|
5 |
%% The original source files were:
|
|
|
6 |
%%
|
|
|
7 |
%% lipics.dtx (with options: `class')
|
|
|
8 |
%%
|
|
|
9 |
%% -----------------------------------------------------------------
|
|
|
10 |
%% Author: le-tex publishing services
|
|
|
11 |
%%
|
|
|
12 |
%% This file is part of the lipics package for preparing
|
|
|
13 |
%% LIPICS articles.
|
|
|
14 |
%%
|
|
|
15 |
%% Copyright (C) 2010 Schloss Dagstuhl
|
|
|
16 |
%% -----------------------------------------------------------------
|
|
|
17 |
\NeedsTeXFormat{LaTeX2e}[2005/12/01]
|
|
|
18 |
\ProvidesClass{lipics}
|
|
|
19 |
[2010/09/27 v1.1 LIPIcs articles]
|
|
|
20 |
\emergencystretch1em
|
|
|
21 |
\advance\hoffset-1in
|
|
|
22 |
\advance\voffset-1in
|
|
|
23 |
\advance\hoffset2.95mm
|
|
|
24 |
\newif\if@nobotseplist \@nobotseplistfalse
|
|
|
25 |
\def\@endparenv{%
|
|
|
26 |
\addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue}
|
|
|
27 |
\def\@doendpe{%
|
|
|
28 |
\@endpetrue
|
|
|
29 |
\def\par{\@restorepar
|
|
|
30 |
\everypar{}%
|
|
|
31 |
\par
|
|
|
32 |
\if@nobotseplist
|
|
|
33 |
\addvspace\topsep
|
|
|
34 |
\addvspace\partopsep
|
|
|
35 |
\global\@nobotseplistfalse
|
|
|
36 |
\fi
|
|
|
37 |
\@endpefalse}%
|
|
|
38 |
\everypar{{\setbox\z@\lastbox}%
|
|
|
39 |
\everypar{}%
|
|
|
40 |
\if@nobotseplist\global\@nobotseplistfalse\fi
|
|
|
41 |
\@endpefalse}}
|
|
|
42 |
\def\enumerate{%
|
|
|
43 |
\ifnum \@enumdepth >\thr@@\@toodeep\else
|
|
|
44 |
\advance\@enumdepth\@ne
|
|
|
45 |
\edef\@enumctr{enum\romannumeral\the\@enumdepth}%
|
|
|
46 |
\expandafter
|
|
|
47 |
\list
|
|
|
48 |
\csname label\@enumctr\endcsname
|
|
|
49 |
{\advance\partopsep\topsep
|
|
|
50 |
\topsep\z@\@plus\p@
|
|
|
51 |
\ifnum\@listdepth=\@ne
|
|
|
52 |
\labelsep0.72em
|
|
|
53 |
\else
|
|
|
54 |
\ifnum\@listdepth=\tw@
|
|
|
55 |
\labelsep0.3em
|
|
|
56 |
\else
|
|
|
57 |
\labelsep0.5em
|
|
|
58 |
\fi
|
|
|
59 |
\fi
|
|
|
60 |
\usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}%
|
|
|
61 |
\fi}
|
|
|
62 |
\def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
|
|
|
63 |
\def\itemize{%
|
|
|
64 |
\ifnum \@itemdepth >\thr@@\@toodeep\else
|
|
|
65 |
\advance\@itemdepth\@ne
|
|
|
66 |
\edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%
|
|
|
67 |
\expandafter
|
|
|
68 |
\list
|
|
|
69 |
\csname\@itemitem\endcsname
|
|
|
70 |
{\advance\partopsep\topsep
|
|
|
71 |
\topsep\z@\@plus\p@
|
|
|
72 |
\ifnum\@listdepth=\@ne
|
|
|
73 |
\labelsep0.83em
|
|
|
74 |
\else
|
|
|
75 |
\ifnum\@listdepth=\tw@
|
|
|
76 |
\labelsep0.75em
|
|
|
77 |
\else
|
|
|
78 |
\labelsep0.5em
|
|
|
79 |
\fi
|
|
|
80 |
\fi
|
|
|
81 |
\def\makelabel##1{\hss\llap{##1}}}%
|
|
|
82 |
\fi}
|
|
|
83 |
\def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
|
|
|
84 |
\def\@sect#1#2#3#4#5#6[#7]#8{%
|
|
|
85 |
\ifnum #2>\c@secnumdepth
|
|
|
86 |
\let\@svsec\@empty
|
|
|
87 |
\else
|
|
|
88 |
\refstepcounter{#1}%
|
|
|
89 |
\protected@edef\@svsec{\@seccntformat{#1}\relax}%
|
|
|
90 |
\fi
|
|
|
91 |
\@tempskipa #5\relax
|
|
|
92 |
\ifdim \@tempskipa>\z@
|
|
|
93 |
\begingroup
|
|
|
94 |
#6{%
|
|
|
95 |
\@hangfrom{\hskip #3\relax
|
|
|
96 |
\ifnum #2=1
|
|
|
97 |
\colorbox[rgb]{0.99,0.78,0.07}{\kern0.15em\@svsec\kern0.15em}\quad
|
|
|
98 |
\else
|
|
|
99 |
\@svsec\quad
|
|
|
100 |
\fi}%
|
|
|
101 |
\interlinepenalty \@M #8\@@par}%
|
|
|
102 |
\endgroup
|
|
|
103 |
\csname #1mark\endcsname{#7}%
|
|
|
104 |
\addcontentsline{toc}{#1}{%
|
|
|
105 |
\ifnum #2>\c@secnumdepth \else
|
|
|
106 |
\protect\numberline{\csname the#1\endcsname}%
|
|
|
107 |
\fi
|
|
|
108 |
#7}%
|
|
|
109 |
\else
|
|
|
110 |
\def\@svsechd{%
|
|
|
111 |
#6{\hskip #3\relax
|
|
|
112 |
\@svsec #8}%
|
|
|
113 |
\csname #1mark\endcsname{#7}%
|
|
|
114 |
\addcontentsline{toc}{#1}{%
|
|
|
115 |
\ifnum #2>\c@secnumdepth \else
|
|
|
116 |
\protect\numberline{\csname the#1\endcsname}%
|
|
|
117 |
\fi
|
|
|
118 |
#7}}%
|
|
|
119 |
\fi
|
|
|
120 |
\@xsect{#5}}
|
|
|
121 |
\def\@seccntformat#1{\csname the#1\endcsname}
|
|
|
122 |
\def\@biblabel#1{\textcolor{darkgray}{\sffamily\bfseries#1}}
|
|
|
123 |
\def\copyrightline{%
|
|
|
124 |
\ifx\@serieslogo\@empty
|
|
|
125 |
\else
|
|
|
126 |
\setbox\@tempboxa\hbox{\includegraphics[height=42\p@]{\@serieslogo}}%
|
|
|
127 |
\rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}%
|
|
|
128 |
\vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}%
|
|
|
129 |
\fi
|
|
|
130 |
\scriptsize
|
|
|
131 |
\vtop{\hsize\textwidth
|
|
|
132 |
\nobreakspace\\
|
|
|
133 |
\@Copyright
|
|
|
134 |
\ifx\@Event\@empty\else\@Event.\\\fi
|
|
|
135 |
\ifx\@Editors\@empty\else
|
|
|
136 |
\@Eds: \@Editors
|
|
|
137 |
; pp. \thepage--\pageref{LastPage}%
|
|
|
138 |
\\
|
|
|
139 |
\fi
|
|
|
140 |
\setbox\@tempboxa\hbox{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}%
|
|
|
141 |
\hspace*{\wd\@tempboxa}\enskip
|
|
|
142 |
\href{http://www.dagstuhl.de/lipics/}%
|
|
|
143 |
{Leibniz International Proceedings in Informatics}\\
|
|
|
144 |
\smash{\unhbox\@tempboxa}\enskip
|
|
|
145 |
\href{http://www.dagstuhl.de}%
|
|
|
146 |
{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}}
|
|
|
147 |
\def\ps@plain{\let\@mkboth\@gobbletwo
|
|
|
148 |
\let\@oddhead\@empty
|
|
|
149 |
\let\@evenhead\@empty
|
|
|
150 |
\let\@evenfoot\copyrightline
|
|
|
151 |
\let\@oddfoot\copyrightline}
|
|
|
152 |
\def\lipics@opterrshort{Option "\CurrentOption" not supported}
|
|
|
153 |
\def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.}
|
|
|
154 |
\DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
155 |
\DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
156 |
\DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
157 |
\DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
158 |
\DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
159 |
\DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
160 |
\DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
161 |
\DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
162 |
\DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
163 |
\DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
164 |
\DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
165 |
\DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
166 |
\DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
167 |
\DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
168 |
\DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
169 |
\DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}
|
|
|
170 |
\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article}
|
|
|
171 |
\advance\hoffset-2.95mm
|
|
|
172 |
\advance\voffset8.8mm}
|
|
|
173 |
\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax}
|
|
|
174 |
\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
|
|
|
175 |
\ProcessOptions
|
|
|
176 |
\LoadClass[twoside,notitlepage,fleqn]{article}
|
|
|
177 |
\renewcommand\normalsize{%
|
|
|
178 |
\@setfontsize\normalsize\@xpt{13}%
|
|
|
179 |
\abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@
|
|
|
180 |
\abovedisplayshortskip \z@ \@plus3\p@
|
|
|
181 |
\belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@
|
|
|
182 |
\belowdisplayskip \abovedisplayskip
|
|
|
183 |
\let\@listi\@listI}
|
|
|
184 |
\normalsize
|
|
|
185 |
\renewcommand\small{%
|
|
|
186 |
\@setfontsize\small\@ixpt{11.5}%
|
|
|
187 |
\abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
|
|
|
188 |
\abovedisplayshortskip \z@ \@plus2\p@
|
|
|
189 |
\belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
|
|
|
190 |
\def\@listi{\leftmargin\leftmargini
|
|
|
191 |
\topsep 4\p@ \@plus2\p@ \@minus2\p@
|
|
|
192 |
\parsep 2\p@ \@plus\p@ \@minus\p@
|
|
|
193 |
\itemsep \parsep}%
|
|
|
194 |
\belowdisplayskip \abovedisplayskip
|
|
|
195 |
}
|
|
|
196 |
\renewcommand\footnotesize{%
|
|
|
197 |
\@setfontsize\footnotesize{8.5}{9.5}%
|
|
|
198 |
\abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@
|
|
|
199 |
\abovedisplayshortskip \z@ \@plus\p@
|
|
|
200 |
\belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@
|
|
|
201 |
\def\@listi{\leftmargin\leftmargini
|
|
|
202 |
\topsep 3\p@ \@plus\p@ \@minus\p@
|
|
|
203 |
\parsep 2\p@ \@plus\p@ \@minus\p@
|
|
|
204 |
\itemsep \parsep}%
|
|
|
205 |
\belowdisplayskip \abovedisplayskip
|
|
|
206 |
}
|
|
|
207 |
\renewcommand\large{\@setfontsize\large{10.5}{13}}
|
|
|
208 |
\renewcommand\Large{\@setfontsize\Large{12}{14}}
|
|
|
209 |
\setlength\parindent{1.5em}
|
|
|
210 |
\setlength\headheight{3mm}
|
|
|
211 |
\setlength\headsep {10mm}
|
|
|
212 |
\setlength\footskip{3mm}
|
|
|
213 |
\setlength\textwidth{140mm}
|
|
|
214 |
\setlength\textheight{222mm}
|
|
|
215 |
\setlength\oddsidemargin{32mm}
|
|
|
216 |
\setlength\evensidemargin{38mm}
|
|
|
217 |
\setlength\marginparwidth{25mm}
|
|
|
218 |
\setlength\topmargin{13mm}
|
|
|
219 |
\setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@}
|
|
|
220 |
\def\@listi{\leftmargin\leftmargini
|
|
|
221 |
\parsep\z@ \@plus\p@
|
|
|
222 |
\topsep 8\p@ \@plus2\p@ \@minus4\p@
|
|
|
223 |
\itemsep \parsep}
|
|
|
224 |
\let\@listI\@listi
|
|
|
225 |
\@listi
|
|
|
226 |
\def\@listii {\leftmargin\leftmarginii
|
|
|
227 |
\labelwidth\leftmarginii
|
|
|
228 |
\advance\labelwidth-\labelsep
|
|
|
229 |
\topsep 4\p@ \@plus2\p@ \@minus\p@
|
|
|
230 |
\parsep\z@ \@plus\p@
|
|
|
231 |
\itemsep \parsep}
|
|
|
232 |
\def\@listiii{\leftmargin\leftmarginiii
|
|
|
233 |
\labelwidth\leftmarginiii
|
|
|
234 |
\advance\labelwidth-\labelsep
|
|
|
235 |
\topsep 2\p@ \@plus\p@\@minus\p@
|
|
|
236 |
\parsep \z@
|
|
|
237 |
\partopsep \p@ \@plus\z@ \@minus\p@
|
|
|
238 |
\itemsep \z@ \@plus\p@}
|
|
|
239 |
\def\ps@headings{%
|
|
|
240 |
\def\@evenhead{\large\sffamily\bfseries
|
|
|
241 |
\llap{\hbox to0.5\oddsidemargin{\thepage\hss}}\leftmark\hfil}%
|
|
|
242 |
\def\@oddhead{\large\sffamily\bfseries\rightmark\hfil
|
|
|
243 |
\rlap{\hbox to0.5\oddsidemargin{\hss\thepage}}}%
|
|
|
244 |
\def\@oddfoot{\hfil
|
|
|
245 |
\rlap{%
|
|
|
246 |
\vtop{%
|
|
|
247 |
\vskip10mm
|
|
|
248 |
\colorbox[rgb]{0.99,0.78,0.07}
|
|
|
249 |
{\@tempdima\evensidemargin
|
|
|
250 |
\advance\@tempdima1in
|
|
|
251 |
\advance\@tempdima\hoffset
|
|
|
252 |
\hb@xt@\@tempdima{%
|
|
|
253 |
\textcolor{darkgray}{\normalsize\sffamily
|
|
|
254 |
\bfseries\quad
|
|
|
255 |
\expandafter\textsolittle
|
|
|
256 |
\expandafter{\@EventShortName}}%
|
|
|
257 |
\strut\hss}}}}}
|
|
|
258 |
\let\@evenfoot\@empty
|
|
|
259 |
\let\@mkboth\markboth
|
|
|
260 |
\let\sectionmark\@gobble
|
|
|
261 |
\let\subsectionmark\@gobble}
|
|
|
262 |
\pagestyle{headings}
|
|
|
263 |
\renewcommand\maketitle{\par
|
|
|
264 |
\begingroup
|
|
|
265 |
\renewcommand\thefootnote{\@fnsymbol\c@footnote}%
|
|
|
266 |
\if@twocolumn
|
|
|
267 |
\ifnum \col@number=\@ne
|
|
|
268 |
\@maketitle
|
|
|
269 |
\else
|
|
|
270 |
\twocolumn[\@maketitle]%
|
|
|
271 |
\fi
|
|
|
272 |
\else
|
|
|
273 |
\newpage
|
|
|
274 |
\global\@topnum\z@ % Prevents figures from going at top of page.
|
|
|
275 |
\@maketitle
|
|
|
276 |
\fi
|
|
|
277 |
\thispagestyle{plain}\@thanks
|
|
|
278 |
\endgroup
|
|
|
279 |
\setcounter{footnote}{0}%
|
|
|
280 |
\global\let\thanks\relax
|
|
|
281 |
\global\let\maketitle\relax
|
|
|
282 |
\global\let\@maketitle\relax
|
|
|
283 |
\global\let\@thanks\@empty
|
|
|
284 |
\global\let\@author\@empty
|
|
|
285 |
\global\let\@date\@empty
|
|
|
286 |
\global\let\@title\@empty
|
|
|
287 |
\global\let\title\relax
|
|
|
288 |
\global\let\author\relax
|
|
|
289 |
\global\let\date\relax
|
|
|
290 |
\global\let\and\relax
|
|
|
291 |
}
|
|
|
292 |
\newwrite\tocfile
|
|
|
293 |
\def\@maketitle{%
|
|
|
294 |
\newpage
|
|
|
295 |
\null\vskip-\baselineskip
|
|
|
296 |
\vskip-\headsep
|
|
|
297 |
\@titlerunning
|
|
|
298 |
\@authorrunning
|
|
|
299 |
\let \footnote \thanks
|
|
|
300 |
\parindent\z@ \raggedright
|
|
|
301 |
{\LARGE\sffamily\bfseries\mathversion{bold}\@title \par}%
|
|
|
302 |
\vskip 1.5em%
|
|
|
303 |
\ifnum\c@authors=0 %
|
|
|
304 |
\@latexerr{No \noexpand\author given}%
|
|
|
305 |
{Provide at least one author. See the LIPIcs class documentation.}%
|
|
|
306 |
\else
|
|
|
307 |
\@author
|
|
|
308 |
\fi
|
|
|
309 |
\bgroup
|
|
|
310 |
\let\footnote\@gobble
|
|
|
311 |
\immediate\openout\tocfile=\jobname.vtc
|
|
|
312 |
\protected@write\tocfile{}{%
|
|
|
313 |
\string\contitem
|
|
|
314 |
\string\title{\@title}%
|
|
|
315 |
\string\author{\AB@authfortoc}%
|
|
|
316 |
\string\page{\thepage}}%
|
|
|
317 |
\closeout\tocfile
|
|
|
318 |
\egroup
|
|
|
319 |
\par}
|
|
|
320 |
\setcounter{secnumdepth}{4}
|
|
|
321 |
\renewcommand\section{\@startsection {section}{1}{\z@}%
|
|
|
322 |
{-3.5ex \@plus -1ex \@minus -.2ex}%
|
|
|
323 |
{2.3ex \@plus.2ex}%
|
|
|
324 |
{\sffamily\Large\bfseries\raggedright}}
|
|
|
325 |
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
|
|
|
326 |
{-3.25ex\@plus -1ex \@minus -.2ex}%
|
|
|
327 |
{1.5ex \@plus .2ex}%
|
|
|
328 |
{\sffamily\Large\bfseries\raggedright}}
|
|
|
329 |
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
|
|
|
330 |
{-3.25ex\@plus -1ex \@minus -.2ex}%
|
|
|
331 |
{1.5ex \@plus .2ex}%
|
|
|
332 |
{\sffamily\Large\bfseries\raggedright}}
|
|
|
333 |
\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
|
|
|
334 |
{-3.25ex \@plus-1ex \@minus-.2ex}%
|
|
|
335 |
{1.5ex \@plus .2ex}%
|
|
|
336 |
{\sffamily\large\bfseries\raggedright}}
|
|
|
337 |
\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}%
|
|
|
338 |
{3.25ex \@plus1ex \@minus .2ex}%
|
|
|
339 |
{-1em}%
|
|
|
340 |
{\sffamily\normalsize\bfseries}}
|
|
|
341 |
\setlength\leftmargini \parindent
|
|
|
342 |
\setlength\leftmarginii {1.2em}
|
|
|
343 |
\setlength\leftmarginiii{1.2em}
|
|
|
344 |
\setlength\leftmarginiv {1.2em}
|
|
|
345 |
\setlength\leftmarginv {1.2em}
|
|
|
346 |
\setlength\leftmarginvi {1.2em}
|
|
|
347 |
\renewcommand\labelenumi{%
|
|
|
348 |
\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumi.}}
|
|
|
349 |
\renewcommand\labelenumii{%
|
|
|
350 |
\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumii.}}
|
|
|
351 |
\renewcommand\labelenumiii{%
|
|
|
352 |
\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiii.}}
|
|
|
353 |
\renewcommand\labelenumiv{%
|
|
|
354 |
\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiv.}}
|
|
|
355 |
\renewcommand\labelitemi{%
|
|
|
356 |
\textcolor[rgb]{0.6,0.6,0.61}{\ifnum\@listdepth=\@ne
|
|
|
357 |
\rule{0.67em}{0.33em}%
|
|
|
358 |
\else
|
|
|
359 |
\rule{0.45em}{0.225em}%
|
|
|
360 |
\fi}}
|
|
|
361 |
\renewcommand\labelitemii{%
|
|
|
362 |
\textcolor[rgb]{0.6,0.6,0.61}{\rule{0.45em}{0.225em}}}
|
|
|
363 |
\renewcommand\labelitemiii{%
|
|
|
364 |
\textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textasteriskcentered}}
|
|
|
365 |
\renewcommand\labelitemiv{%
|
|
|
366 |
\textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textperiodcentered}}
|
|
|
367 |
\renewenvironment{description}
|
|
|
368 |
{\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@
|
|
|
369 |
\labelwidth\z@ \itemindent-\leftmargin
|
|
|
370 |
\let\makelabel\descriptionlabel}}
|
|
|
371 |
{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}
|
|
|
372 |
\renewcommand*\descriptionlabel[1]{%
|
|
|
373 |
\hspace\labelsep\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}#1}}
|
|
|
374 |
\renewenvironment{abstract}{%
|
|
|
375 |
\vskip\bigskipamount
|
|
|
376 |
\noindent
|
|
|
377 |
\rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%
|
|
|
378 |
\hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
|
|
|
379 |
\large\selectfont\sffamily\bfseries\abstractname}}%
|
|
|
380 |
\vskip3\p@
|
|
|
381 |
\fontsize{9.5}{12.5}\selectfont
|
|
|
382 |
\noindent\ignorespaces}
|
|
|
383 |
{\ifx\@subjclass\@empty\else
|
|
|
384 |
\vskip\baselineskip\noindent
|
|
|
385 |
\subjclassHeading\@subjclass
|
|
|
386 |
\fi
|
|
|
387 |
\ifx\@keywords\@empty\else
|
|
|
388 |
\vskip\baselineskip\noindent
|
|
|
389 |
\keywordsHeading\@keywords
|
|
|
390 |
\fi
|
|
|
391 |
\ifx\@DOI\@empty\else
|
|
|
392 |
\vskip\baselineskip\noindent
|
|
|
393 |
\doiHeading\doi{\@DOI}%
|
|
|
394 |
\fi}
|
|
|
395 |
\renewenvironment{thebibliography}[1]
|
|
|
396 |
{\if@noskipsec \leavevmode \fi
|
|
|
397 |
\par
|
|
|
398 |
\@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax
|
|
|
399 |
\@afterindenttrue
|
|
|
400 |
\@tempskipa -\@tempskipa \@afterindentfalse
|
|
|
401 |
\if@nobreak
|
|
|
402 |
\everypar{}%
|
|
|
403 |
\else
|
|
|
404 |
\addpenalty\@secpenalty\addvspace\@tempskipa
|
|
|
405 |
\fi
|
|
|
406 |
\noindent
|
|
|
407 |
\rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%
|
|
|
408 |
\hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%
|
|
|
409 |
\normalsize\sffamily\bfseries\refname}}%
|
|
|
410 |
\@xsect{1ex \@plus.2ex}%
|
|
|
411 |
\list{\@biblabel{\@arabic\c@enumiv}}%
|
|
|
412 |
{\leftmargin8.5mm
|
|
|
413 |
\labelsep\leftmargin
|
|
|
414 |
\settowidth\labelwidth{\@biblabel{#1}}%
|
|
|
415 |
\advance\labelsep-\labelwidth
|
|
|
416 |
\usecounter{enumiv}%
|
|
|
417 |
\let\p@enumiv\@empty
|
|
|
418 |
\renewcommand\theenumiv{\@arabic\c@enumiv}}%
|
|
|
419 |
\fontsize{9.5}{12.5}\selectfont
|
|
|
420 |
\sloppy
|
|
|
421 |
\clubpenalty4000
|
|
|
422 |
\@clubpenalty \clubpenalty
|
|
|
423 |
\widowpenalty4000%
|
|
|
424 |
\sfcode`\.\@m}
|
|
|
425 |
{\def\@noitemerr
|
|
|
426 |
{\@latex@warning{Empty `thebibliography' environment}}%
|
|
|
427 |
\endlist}
|
|
|
428 |
\renewcommand\footnoterule{%
|
|
|
429 |
\kern-8\p@
|
|
|
430 |
{\color[rgb]{0.60,0.60,0.61}\hrule\@width40mm\@height1\p@}%
|
|
|
431 |
\kern6.6\p@}
|
|
|
432 |
\renewcommand\@makefntext[1]{%
|
|
|
433 |
\parindent\z@\hangindent1em
|
|
|
434 |
\leavevmode
|
|
|
435 |
\hb@xt@1em{\@makefnmark\hss}#1}
|
|
|
436 |
\usepackage[utf8]{inputenc}
|
|
|
437 |
\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{}
|
|
|
438 |
\RequirePackage[T1]{fontenc}
|
|
|
439 |
\RequirePackage{textcomp}
|
|
|
440 |
\RequirePackage[mathscr]{eucal}
|
|
|
441 |
\RequirePackage{amssymb}
|
|
|
442 |
\RequirePackage{soul}
|
|
|
443 |
\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}%
|
|
|
444 |
{.4em\@plus.275em\@minus.183em}
|
|
|
445 |
\RequirePackage{color}
|
|
|
446 |
\definecolor{darkgray}{rgb}{0.31,0.31,0.33}
|
|
|
447 |
\RequirePackage{babel}
|
|
|
448 |
\RequirePackage[tbtags,fleqn]{amsmath}
|
|
|
449 |
\RequirePackage{amsthm}
|
|
|
450 |
\thm@headfont{%
|
|
|
451 |
\textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}
|
|
|
452 |
\def\th@remark{%
|
|
|
453 |
\thm@headfont{%
|
|
|
454 |
\textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily}%
|
|
|
455 |
\normalfont % body font
|
|
|
456 |
\thm@preskip\topsep \divide\thm@preskip\tw@
|
|
|
457 |
\thm@postskip\thm@preskip
|
|
|
458 |
}
|
|
|
459 |
\def\@endtheorem{\endtrivlist}%\@endpefalse
|
|
|
460 |
\renewcommand\qedsymbol{\textcolor{darkgray}{\ensuremath{\blacktriangleleft}}}
|
|
|
461 |
\renewenvironment{proof}[1][\proofname]{\par
|
|
|
462 |
\pushQED{\qed}%
|
|
|
463 |
\normalfont \topsep6\p@\@plus6\p@\relax
|
|
|
464 |
\trivlist
|
|
|
465 |
\item[\hskip\labelsep
|
|
|
466 |
\color{darkgray}\sffamily\bfseries
|
|
|
467 |
#1\@addpunct{.}]\ignorespaces
|
|
|
468 |
}{%
|
|
|
469 |
\popQED\endtrivlist%\@endpefalse
|
|
|
470 |
}
|
|
|
471 |
\theoremstyle{plain}
|
|
|
472 |
\newtheorem{theorem}{Theorem}
|
|
|
473 |
\newtheorem{lemma}[theorem]{Lemma}
|
|
|
474 |
\newtheorem{corollary}[theorem]{Corollary}
|
|
|
475 |
\theoremstyle{definition}
|
|
|
476 |
\newtheorem{definition}[theorem]{Definition}
|
|
|
477 |
\newtheorem{example}[theorem]{Example}
|
|
|
478 |
\theoremstyle{remark}
|
|
|
479 |
\newtheorem*{remark}{Remark}
|
|
|
480 |
\ifx\numberwithinsect\relax
|
|
|
481 |
\@addtoreset{theorem}{section}
|
|
|
482 |
\edef\thetheorem{\expandafter\noexpand\thesection\@thmcountersep\@thmcounter{theorem}}
|
|
|
483 |
\fi
|
|
|
484 |
\RequirePackage{graphicx}
|
|
|
485 |
\RequirePackage{array}
|
|
|
486 |
\let\@classzold\@classz
|
|
|
487 |
\def\@classz{%
|
|
|
488 |
\expandafter\ifx\d@llarbegin\begingroup
|
|
|
489 |
\toks \count@ =
|
|
|
490 |
\expandafter{\expandafter\small\the\toks\count@}%
|
|
|
491 |
\fi
|
|
|
492 |
\@classzold}
|
|
|
493 |
\RequirePackage{multirow}
|
|
|
494 |
\RequirePackage{tabularx}
|
|
|
495 |
\RequirePackage[online]{threeparttable}
|
|
|
496 |
\def\TPTtagStyle#1{#1)}
|
|
|
497 |
\def\tablenotes{\small\TPT@defaults
|
|
|
498 |
\@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ]
|
|
|
499 |
\RequirePackage{listings}
|
|
|
500 |
\lstset{basicstyle=\small\ttfamily,%
|
|
|
501 |
backgroundcolor=\color[rgb]{0.85,0.85,0.86},%
|
|
|
502 |
frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep}
|
|
|
503 |
\RequirePackage{lastpage}
|
|
|
504 |
\IfFileExists{doi.sty}
|
|
|
505 |
{\RequirePackage{doi}%
|
|
|
506 |
\renewcommand*{\doitext}{}}
|
|
|
507 |
{\RequirePackage{hyperref}%
|
|
|
508 |
\def\doi##1{##1}}
|
|
|
509 |
\hypersetup{pdfborder={0 0 0}}
|
|
|
510 |
\RequirePackage[labelsep=space,singlelinecheck=false,%
|
|
|
511 |
font={up,small},labelfont={sf,bf},%
|
|
|
512 |
listof=false]{caption}%"listof" instead of "list" for backward compatibility
|
|
|
513 |
\@ifpackagelater{hyperref}{2009/12/09}
|
|
|
514 |
{\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot
|
|
|
515 |
{}
|
|
|
516 |
\DeclareCaptionLabelFormat{boxed}{%
|
|
|
517 |
\kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}%
|
|
|
518 |
\hspace*{0.67em}\bothIfFirst{#1}{~}#2}
|
|
|
519 |
\captionsetup{labelformat=boxed}
|
|
|
520 |
\captionsetup[table]{position=top}
|
|
|
521 |
\RequirePackage[figuresright]{rotating}
|
|
|
522 |
\RequirePackage{subfig}
|
|
|
523 |
\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}}
|
|
|
524 |
\def\authorrunning#1{%
|
|
|
525 |
\gdef\@authorrunning{\expandafter\def\expandafter\@tempa\expandafter{#1}%
|
|
|
526 |
\ifx\@tempa\@empty\else\markright{#1}\fi}}
|
|
|
527 |
\titlerunning{\@title}
|
|
|
528 |
\authorrunning{\AB@authrunning}
|
|
|
529 |
\newcommand*\volumeinfo[6]{%
|
|
|
530 |
{\gdef\@Editors{#1}%
|
|
|
531 |
\gdef\@Eds{Editor}\ifnum #2>1 \gdef\@Eds{Editors}\fi
|
|
|
532 |
\gdef\@Event{#3}%
|
|
|
533 |
\setcounter{page}{#6}}}
|
|
|
534 |
\volumeinfo{}{1}{}{}{}{1}
|
|
|
535 |
\RequirePackage{authblk}
|
|
|
536 |
\renewcommand*\Authand{{ and }}
|
|
|
537 |
\renewcommand*\Authfont{\Large\bfseries\mathversion{bold}}
|
|
|
538 |
\renewcommand*\AB@authnote[1]{\textsuperscript{#1}}
|
|
|
539 |
\renewcommand*\AB@affilnote[1]{\protect\item[#1]}
|
|
|
540 |
\renewcommand*\Affilfont{\fontsize{9.5}{12}\selectfont}
|
|
|
541 |
\setlength\affilsep{\baselineskip}
|
|
|
542 |
\newcommand\AB@authrunning{}
|
|
|
543 |
\newcommand\AB@authfortoc{}
|
|
|
544 |
\renewcommand\author[2][]%
|
|
|
545 |
{\ifnewaffil\addtocounter{affil}{1}%
|
|
|
546 |
\edef\AB@thenote{\arabic{affil}}\fi
|
|
|
547 |
\if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%
|
|
|
548 |
\setcounter{Maxaffil}{0}\fi
|
|
|
549 |
\ifnum\value{authors}>1\relax
|
|
|
550 |
\@namedef{@sep\number\c@authors}{\Authsep}\fi
|
|
|
551 |
\addtocounter{authors}{1}%
|
|
|
552 |
\begingroup
|
|
|
553 |
\let\protect\@unexpandable@protect \let\and\AB@pand
|
|
|
554 |
\def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%
|
|
|
555 |
\@temptokena=\expandafter{\AB@authors}%
|
|
|
556 |
{\def\\{\protect\\[\@affilsep]\protect\Affilfont
|
|
|
557 |
\protect\AB@resetsep}%
|
|
|
558 |
\xdef\AB@author{\AB@blk@and#2}%
|
|
|
559 |
\ifnewaffil\gdef\AB@las{}\gdef\AB@lasx{\protect\Authand}\gdef\AB@as{}%
|
|
|
560 |
\xdef\AB@authors{\the\@temptokena\AB@blk@and}%
|
|
|
561 |
\else
|
|
|
562 |
\xdef\AB@authors{\the\@temptokena\AB@as\AB@au@str}%
|
|
|
563 |
\global\let\AB@las\AB@lasx\gdef\AB@lasx{\protect\Authands}%
|
|
|
564 |
\gdef\AB@as{\Authsep}%
|
|
|
565 |
\fi
|
|
|
566 |
\gdef\AB@au@str{#2}}%
|
|
|
567 |
\@temptokena=\expandafter{\AB@authlist}%
|
|
|
568 |
\let\\=\authorcr
|
|
|
569 |
\xdef\AB@authlist{\the\@temptokena
|
|
|
570 |
\protect\@nameuse{@sep\number\c@authors}%
|
|
|
571 |
\protect\Authfont#2\AB@authnote{\AB@note}}%
|
|
|
572 |
%new
|
|
|
573 |
\@temptokena=\expandafter{\AB@authrunning}%
|
|
|
574 |
\let\\=\authorcr
|
|
|
575 |
\xdef\AB@authrunning{\the\@temptokena
|
|
|
576 |
\protect\@nameuse{@sep\number\c@authors}#2}%
|
|
|
577 |
%
|
|
|
578 |
%new
|
|
|
579 |
\@temptokena=\expandafter{\AB@authfortoc}%
|
|
|
580 |
\let\\=\authorcr
|
|
|
581 |
\xdef\AB@authfortoc{\the\@temptokena
|
|
|
582 |
\expandafter\noexpand\csname @sep\number\c@authors\endcsname#2}%
|
|
|
583 |
%
|
|
|
584 |
\endgroup
|
|
|
585 |
\ifnum\value{authors}>2\relax
|
|
|
586 |
\@namedef{@sep\number\c@authors}{\Authands}\fi
|
|
|
587 |
\newaffilfalse
|
|
|
588 |
}
|
|
|
589 |
\renewcommand\affil[2][]%
|
|
|
590 |
{\newaffiltrue\let\AB@blk@and\AB@pand
|
|
|
591 |
\if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%
|
|
|
592 |
\setcounter{Maxaffil}{0}\fi
|
|
|
593 |
\begingroup
|
|
|
594 |
\let\protect\@unexpandable@protect
|
|
|
595 |
\def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%
|
|
|
596 |
\@temptokena=\expandafter{\AB@authors}%
|
|
|
597 |
{\def\\{\protect\\\protect\Affilfont}\xdef\AB@temp{#2}}%
|
|
|
598 |
\xdef\AB@authors{\the\@temptokena\AB@las\AB@au@str
|
|
|
599 |
\protect\\[\affilsep]\protect\Affilfont\AB@temp}%
|
|
|
600 |
\gdef\AB@las{}\gdef\AB@au@str{}%
|
|
|
601 |
{\xdef\AB@temp{#2}}%
|
|
|
602 |
\@temptokena=\expandafter{\AB@affillist}%
|
|
|
603 |
\xdef\AB@affillist{\the\@temptokena \AB@affilsep
|
|
|
604 |
\AB@affilnote{\AB@note}\protect\Affilfont\AB@temp}%
|
|
|
605 |
\endgroup
|
|
|
606 |
\let\AB@affilsep\AB@affilsepx}
|
|
|
607 |
\renewcommand\@author{\ifx\AB@affillist\AB@empty\AB@authrunning\else
|
|
|
608 |
\ifnum\value{affil}>\value{Maxaffil}\def\rlap##1{##1}%
|
|
|
609 |
\AB@authlist\\[\affilsep]
|
|
|
610 |
\labelwidth1.5em\labelsep\z@\leftmargini\labelwidth
|
|
|
611 |
\edef\@enumctr{enumi}%
|
|
|
612 |
\list\theenumi{\usecounter\@enumctr\def\makelabel##1{\rlap{##1}\hss}}%
|
|
|
613 |
\AB@affillist
|
|
|
614 |
\endlist
|
|
|
615 |
\else \AB@authors\fi\fi}
|
|
|
616 |
\newcommand*\Copyright[1]{%
|
|
|
617 |
\def\@Copyright{%
|
|
|
618 |
\setbox\@tempboxa\hbox{\includegraphics[height=14\p@,clip]{cc-by}}%
|
|
|
619 |
\hspace*{\wd\@tempboxa}\enskip\ifx#1\@empty \else \textcopyright\ #1;\\\fi
|
|
|
620 |
\href{http://creativecommons.org/licenses/by/3.0/}%
|
|
|
621 |
{\smash{\unhbox\@tempboxa}}\enskip
|
|
|
622 |
licensed under Creative Commons License CC-BY\\
|
|
|
623 |
}}
|
|
|
624 |
\Copyright{\@empty}
|
|
|
625 |
\def\keywords#1{\def\@keywords{#1}}
|
|
|
626 |
\let\@keywords\@empty
|
|
|
627 |
\def\keywordsHeading{%
|
|
|
628 |
\textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
|
|
|
629 |
Keywords and phrases\enskip}}
|
|
|
630 |
\def\subjclass#1{\gdef\@subjclass{#1}}
|
|
|
631 |
\let\@subjclass\@empty
|
|
|
632 |
\def\subjclassHeading{%
|
|
|
633 |
\textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
|
|
|
634 |
1998 ACM Subject Classification\enskip}}
|
|
|
635 |
\def\doiHeading{%
|
|
|
636 |
\textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
|
|
|
637 |
Digital Object Identifier\enskip}}
|
|
|
638 |
\def\serieslogo#1{\gdef\@serieslogo{#1}}
|
|
|
639 |
\serieslogo{}
|
|
|
640 |
\def\EventShortName#1{\gdef\@EventShortName{#1}}
|
|
|
641 |
\EventShortName{}
|
|
|
642 |
\def\DOI#1{\gdef\@DOI{#1}}
|
|
|
643 |
\DOI{}
|
|
|
644 |
\endinput
|
|
|
645 |
%%
|
|
|
646 |
%% End of file `lipics.cls'.
|