Commit 72aedbae authored by Fred Drake's avatar Fred Drake

Add a couple of comments about the use of \normalsize and

\footnotesize.
parent 625334f9
...@@ -820,6 +820,8 @@ ...@@ -820,6 +820,8 @@
% This weird definition of \var{} allows it to always appear in roman % This weird definition of \var{} allows it to always appear in roman
% italics, and won't get funky in code fragments when we play around % italics, and won't get funky in code fragments when we play around
% with fonts. This also works directly in math mode. % with fonts. This also works directly in math mode.
% XXX \normalsize is bad in footnotes, though; we need a way to
% determine when we're in a footnote.
\newcommand{\var}[1]{% \newcommand{\var}[1]{%
\ifmmode% \ifmmode%
\hbox{\normalsize\textrm{\textit{#1\/}}}% \hbox{\normalsize\textrm{\textit{#1\/}}}%
...@@ -890,7 +892,7 @@ ...@@ -890,7 +892,7 @@
% The \! is a "negative thin space" in math mode. % The \! is a "negative thin space" in math mode.
\newcommand{\regexp}[1]{% \newcommand{\regexp}[1]{%
{\tiny$^{^\lceil}\!\!$% {\tiny$^{^\lceil}\!\!$%
{\normalsize\code{#1}}% {\normalsize\code{#1}}% XXX should use \footnotesize in footnotes
$\!\rfloor\!$% $\!\rfloor\!$%
}} }}
\newcommand{\envvar}[1]{% \newcommand{\envvar}[1]{%
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment