diff options
Diffstat (limited to 'macros/plain/contrib/misc/webmacss.tex')
-rw-r--r-- | macros/plain/contrib/misc/webmacss.tex | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/macros/plain/contrib/misc/webmacss.tex b/macros/plain/contrib/misc/webmacss.tex new file mode 100644 index 0000000000..3596a10394 --- /dev/null +++ b/macros/plain/contrib/misc/webmacss.tex @@ -0,0 +1,15 @@ +%%%-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\{\hbox{\pbf#1\/}} % boldface type for reserved words +%%%-Julius Caeser never really said that----------------------------- |