OLD | NEW |
1 \def\keyword#1{\textbf{#1}} | 1 \def\keyword#1{\textbf{#1}} |
2 \def\builtinId#1{\textbf{#1}} | 2 \def\builtinId#1{\textbf{#1}} |
3 \def\comment#1{\textit{#1}} | 3 \def\comment#1{\textit{#1}} |
4 \def\capt#1{\rmfamily \caption{#1}} | 4 \def\capt#1{\rmfamily \caption{#1}} |
5 \newcommand{\cd}[1]{\textsf{#1}} | 5 \newcommand{\cd}[1]{\textsf{#1}} |
6 \def\lt{$<$} | 6 \def\lt{$<$} |
7 \def\gt{$>$} | 7 \def\gt{$>$} |
8 \def\<{$\langle$} | 8 \def\<{$\langle$} |
9 \def\>{$\rangle$} | 9 \def\>{$\rangle$} |
10 | 10 |
(...skipping 100 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
111 | 111 |
112 \sffamily | 112 \sffamily |
113 }{ | 113 }{ |
114 %\end{verbatim} | 114 %\end{verbatim} |
115 } | 115 } |
116 | 116 |
117 | 117 |
118 % ---------------------------------------------------------------------- | 118 % ---------------------------------------------------------------------- |
119 % Support for hash valued Location Markers | 119 % Support for hash valued Location Markers |
120 | 120 |
121 % very small font, to enable 33 char hash values in the margin | 121 % very small font, to enable 40 char hash values in the margin |
122 \makeatletter | 122 \makeatletter |
123 \ifcase \@ptsize \relax% 10pt | 123 \ifcase \@ptsize \relax% 10pt |
124 \newcommand{\miniscule}{\@setfontsize\miniscule{2}{3}}% \tiny: 5/6 | 124 \newcommand{\miniscule}{\@setfontsize\miniscule{2}{3}}% \tiny: 5/6 |
125 \or% 11pt | 125 \or% 11pt |
126 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 | 126 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 |
127 \or% 12pt | 127 \or% 12pt |
128 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 | 128 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 |
129 \fi | 129 \fi |
130 \makeatother | 130 \makeatother |
131 | 131 |
132 % white: location markers should not create visual noise | 132 % white: location markers should not create visual noise |
133 \definecolor{LMdim}{gray}{1.0} | 133 \definecolor{LMdim}{gray}{1.0} |
134 | 134 |
135 % insert location marker showing hash value of following paragraph | 135 % insert location marker showing hash value of following paragraph |
136 \newcommand{\LMHash}[1]{% | 136 \newcommand{\LMHash}[1]{% |
137 \hspace{0pt}\marginpar{\raisebox{0.5ex}{\miniscule{\color{LMdim}#1}}}} | 137 \hspace{0pt}\marginpar{\raisebox{0.5ex}{\miniscule{\color{LMdim}#1}}}} |
138 | 138 |
139 % support convenient renewcommand | 139 % support convenient renewcommand |
140 \let\OriginalLMHash\LMHash | 140 \let\OriginalLMHash\LMHash |
141 | 141 |
142 % define a label, and show the associated logical location marker | 142 % define a label, and show the associated logical location marker |
143 \newcommand{\LMLabel}[1]{% | 143 \newcommand{\LMLabel}[1]{% |
144 \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{sec:#1}}% | 144 \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{#1}}% |
145 \label{#1}} | 145 \label{#1}} |
146 | |
147 % dummy version of LMHash, always shows the same arbitrary hash value | |
148 \renewcommand{\LMHash}[1]{\OriginalLMHash{ba01b04d58c8c4e259764498f823cc65}} | |
149 | |
150 % ---------------------------------------------------------------------- | 146 % ---------------------------------------------------------------------- |
151 | 147 |
OLD | NEW |