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