Index: doc/refrat/refrat.tex
===================================================================
--- doc/refrat/refrat.tex	(revision 038726d1fd17d3ad2855d951424b0b0cccd26dc9)
+++ doc/refrat/refrat.tex	(revision a7528832a046957eb3c40dcea393f8024b8400a5)
@@ -17,5 +17,5 @@
 \usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
 \usepackage{breakurl}
-\urlstyle{sf}
+\renewcommand{\UrlFont}{\small\sf}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -23,6 +23,6 @@
 % Names used in the document.
 
-\newcommand{\CFA}{Cforall\xspace}		% set language text name
-\newcommand{\CFAA}{C$\forall$\xspace}	% set language symbolic name
+\newcommand{\CFA}{C$\forall$\xspace}	% set language symbolic name
+\newcommand{\CFL}{Cforall\xspace}		% set language text name
 \newcommand{\CC}{C\kern-.1em\hbox{+\kern-.25em+}\xspace} % CC symbolic name
 \def\c11{ISO/IEC C} % C11 name (cannot have numbers in latex command name)
@@ -33,4 +33,21 @@
 
 \makeatletter
+% allow escape sequence in lstinline
+%\usepackage{etoolbox}
+%\patchcmd{\lsthk@TextStyle}{\let\lst@DefEsc\@empty}{}{}{\errmessage{failed to patch}}
+
+\renewcommand\small{%
+   \@setfontsize\small{8.5}{11}%
+   \abovedisplayskip 8.5pt \@plus 3pt \@minus 4pt
+   \abovedisplayshortskip \z@ \@plus 2pt
+   \belowdisplayshortskip 4pt \@plus 2pt \@minus 2pt
+   \def\@listi{\leftmargin\leftmargini
+               \topsep 4pt \@plus 2pt \@minus 2pt
+               \parsep 2pt \@pluspt \@minuspt
+               \itemsep \parsep}%
+   \belowdisplayskip \abovedisplayskip
+}
+\usepackage{relsize}            % must be after change to small
+
 \renewcommand{\labelitemi}{{\raisebox{0.25ex}{\footnotesize$\bullet$}}}
 \renewenvironment{itemize}{\begin{list}{\labelitemi}{\topsep=5pt\itemsep=5pt\parsep=0pt}}{\end{list}}
@@ -59,5 +76,5 @@
 \renewcommand\section{\@startsection{section}{1}{\z@}{-3.0ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\large\bfseries}}
 \renewcommand\subsection{\@startsection{subsection}{2}{\z@}{-2.5ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
-\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}{-2.0ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
+\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}{-2.5ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
 \renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}{-2.0ex \@plus -1ex \@minus -.2ex}{-1em}{\normalfont\normalsize\bfseries}}
 
@@ -98,5 +115,4 @@
 
 % blocks and titles
-\newcommand{\define}[1]{\emph{#1\/}\index{#1}}
 \newenvironment{rationale}{%
   \begin{quotation}\noindent$\Box$\enspace
@@ -104,4 +120,5 @@
   \hfill\enspace$\Box$\end{quotation}
 }%
+\newcommand{\define}[1]{\emph{#1\/}\index{#1}}
 \newcommand{\rewrite}{\(\Rightarrow\)}
 \newcommand{\rewriterules}{\paragraph{Rewrite Rules}~\par\noindent}
@@ -132,5 +149,5 @@
 \newcommand{\VPageref}[2][page]{\ifx#1\@empty\else{#1}\nobreakspace\fi\pageref{#2}}
 
-% adjust listings macros
+% CFA based on ANSI C
 \lstdefinelanguage{CFA}[ANSI]{C}%
 {morekeywords={asm,_Alignas,_Alignof,_At,_Atomic,_Bool,catch,catchResume,choose,_Complex,trait,disable,dtype,enable,
@@ -142,11 +159,11 @@
 language=CFA,
 columns=flexible,
-basicstyle=\sf\small,
+basicstyle=\sf\relsize{-1},
 tabsize=4,
 xleftmargin=\parindent,
 escapechar=@,
 keepspaces=true,
-%showtabs=true,
-%tab=\rightarrowfill,
+showstringspaces=false,
+showlines=true,
 }%
 
@@ -175,5 +192,5 @@
 
 \title{\Huge
-\CFA (\CFAA) Reference Manual and Rationale
+\CFA (\CFL) Reference Manual and Rationale
 }% title
 \author{\huge