doc-src/railsetup.sty
changeset 7170 cb8afc731bee
parent 7137 e5d18fd42430
child 8592 c7f7cb82fd56
equal deleted inserted replaced
7169:76ef91b608a9 7170:cb8afc731bee
     1 
     1 
       
     2 \railalias{percent}{\%}
       
     3 \railalias{ppercent}{\%\%}
       
     4 \railalias{underscore}{\_}
     2 \railalias{lbrace}{\ttlbrace}
     5 \railalias{lbrace}{\ttlbrace}
     3 \railalias{rbrace}{\ttrbrace}
     6 \railalias{rbrace}{\ttrbrace}
     4 \railalias{llbrace}{\ttlbrace\ttlbrace}
     7 \railalias{llbrace}{\ttlbrace\ttlbrace}
     5 \railalias{rrbrace}{\ttrbrace\ttrbrace}
     8 \railalias{rrbrace}{\ttrbrace\ttrbrace}
     6 
     9 
    24 \def\rail@namefont{\small\rmfamily\itshape}
    27 \def\rail@namefont{\small\rmfamily\itshape}
    25 \def\rail@indexfont{\small\rmfamily\itshape}
    28 \def\rail@indexfont{\small\rmfamily\itshape}
    26 \newcommand{\railtoken}[1]{{\texttt{#1}}}
    29 \newcommand{\railtoken}[1]{{\texttt{#1}}}
    27 \newcommand{\railqtoken}[1]{{\textsl{#1}}}
    30 \newcommand{\railqtoken}[1]{{\textsl{#1}}}
    28 \newcommand{\railnonterm}[1]{{\emph{#1}}}
    31 \newcommand{\railnonterm}[1]{{\emph{#1}}}
    29 
       
    30 \newcommand\indexoutertoken[1]{\index{#1@\railtoken{#1} (outer syntax)|bold}}
       
    31 \newcommand\indexouternonterm[1]{\index{#1@\railnonterm{#1} (outer syntax)|bold}}