%%%-This is the unkindest cut here of all----------------------------
% This is WEBMACss.TEX in text format, as of Aug 27, 1987.
% modification to standard macros for WEB listings (in addition to
% PLAIN.TEX)
% Prints Pascal text in sans-serif type.
% To use, include the line \input WEBMACss.TeX in the ``limbo''
% section of your WEB program
\font\pit=cmss10   % type for identifiers
\font\pbf=cmssbx10 % type for reserved words.
 
\def\\#1{\hbox{\pit#1\/\kern.05em}} % italic type for identifiers
%\def\|#1{\hbox{$#1$}} % one-letter identifiers look a bit better this way
\let\|=\\          % We aren't using \mit anymore.
\def\&#1{\hbox{\pbf#1\/}} % boldface type for reserved words
%%%-Julius Caeser never really said that-----------------------------