Turn on MonadFail desugaring by default
[ghc.git] / docs / opt-coercion / lipics.cls
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   }
625 \Copyright{\@empty}
626 \def\keywords#1{\def\@keywords{#1}}
627 \let\@keywords\@empty
628 \def\keywordsHeading{%
629   \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
630                        Keywords and phrases\enskip}}
631 \def\subjclass#1{\gdef\@subjclass{#1}}
632 \let\@subjclass\@empty
633 \def\subjclassHeading{%
634   \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
635                        1998 ACM Subject Classification\enskip}}
636 \def\doiHeading{%
637   \textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries
638                        Digital Object Identifier\enskip}}
639 \def\serieslogo#1{\gdef\@serieslogo{#1}}
640 \serieslogo{}
641 \def\EventShortName#1{\gdef\@EventShortName{#1}}
642 \EventShortName{}
643 \def\DOI#1{\gdef\@DOI{#1}}
644 \DOI{}
645 \endinput
646 %%
647 %% End of file `lipics.cls'.