% Double space sizes for 12pt styles. August 1987. \def\normalsizedbl{\@setsize\normalsize{26.1pt}\xiipt\@xiipt \abovedisplayskip 12pt plus3pt minus7pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6.5pt plus3.5pt minus3pt} \def\smalldbl{\@setsize\small{25.8pt}\xipt\@xipt \abovedisplayskip 11pt plus3pt minus6pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6.5pt plus3.5pt minus3pt \def\@listi{\topsep 9pt plus 3pt minus 5pt\parsep 4.5pt plus 2pt minus 1pt \itemsep \parsep}} \def\footnotesizedbl{\@setsize\footnotesize{21.6pt}\xpt\@xpt \abovedisplayskip 10pt plus2pt minus5pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6pt plus3pt minus3pt \def\@listi{\topsep 6pt plus 2pt minus 2pt\parsep 3pt plus 2pt minus 1pt \itemsep \parsep}} \def\scriptsizedbl{\@setsize\scriptsize{17.1pt}\viiipt\@viiipt} \def\tinydbl{\@setsize\tiny{12.6pt}\vipt\@vipt} \def\largedbl{\@setsize\large{32.4pt}\xivpt\@xivpt} \def\Largedbl{\@setsize\Large{39.6pt}\xviipt\@xviipt} \def\LARGEDBL{\@setsize\LARGE{45pt}\xxpt\@xxpt} \def\hugedbl{\@setsize\huge{54pt}\xxvpt\@xxvpt} \let\Hugedbl=\hugedbl \def\normalsizeoneandhalf{\@setsize\normalsize{17pt}\xiipt\@xiipt \abovedisplayskip 12pt plus3pt minus7pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6.5pt plus3.5pt minus3pt} \def\smalloneandhalf{\@setsize\small{17.5pt}\xipt\@xipt \abovedisplayskip 11pt plus3pt minus6pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6.5pt plus3.5pt minus3pt \def\@listi{\topsep 9pt plus 3pt minus 5pt\parsep 4.5pt plus 2pt minus 1pt \itemsep \parsep}} \def\footnotesizeoneandhalf{\@setsize\footnotesize{16pt}\xpt\@xpt \abovedisplayskip 10pt plus2pt minus5pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6pt plus3pt minus3pt \def\@listi{\topsep 6pt plus 2pt minus 2pt\parsep 3pt plus 2pt minus 1pt \itemsep \parsep}} \def\scriptsizeoneandhalf{\@setsize\scriptsize{12.5pt}\viiipt\@viiipt} \def\tinyoneandhalf{\@setsize\tiny{9.5pt}\vipt\@vipt} \def\largeoneandhalf{\@setsize\large{23pt}\xivpt\@xivpt} \def\Largeoneandhalf{\@setsize\Large{29pt}\xviipt\@xviipt} \def\LARGEONEANDHALF{\@setsize\LARGE{35pt}\xxpt\@xxpt} \def\hugeoneandhalf{\@setsize\huge{41pt}\xxvpt\@xxvpt} \let\Hugeoneandhalf=\hugeoneandhalf