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 95 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
106 \newenvironment{dartCode}[1][!ht] { | 106 \newenvironment{dartCode}[1][!ht] { |
107 % \begin{verbatim}[#1] | 107 % \begin{verbatim}[#1] |
108 \def\@programcr{\@addfield\strut} | 108 \def\@programcr{\@addfield\strut} |
109 \let\\=\@programcr | 109 \let\\=\@programcr |
110 \relax\@vobeyspaces\obeylines | 110 \relax\@vobeyspaces\obeylines |
111 | 111 |
112 \sffamily | 112 \sffamily |
113 }{ | 113 }{ |
114 %\end{verbatim} | 114 %\end{verbatim} |
115 } | 115 } |
| 116 |
| 117 |
| 118 % ---------------------------------------------------------------------- |
| 119 % Support for hash valued Location Markers |
| 120 |
| 121 % very small font, to enable 33 char hash values in the margin |
| 122 \makeatletter |
| 123 \ifcase \@ptsize \relax% 10pt |
| 124 \newcommand{\miniscule}{\@setfontsize\miniscule{2}{3}}% \tiny: 5/6 |
| 125 \or% 11pt |
| 126 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 |
| 127 \or% 12pt |
| 128 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 |
| 129 \fi |
| 130 \makeatother |
| 131 |
| 132 % white: location markers should not create visual noise |
| 133 \definecolor{LMdim}{gray}{1.0} |
| 134 |
| 135 % insert location marker showing hash value of following paragraph |
| 136 \newcommand{\LMHash}[1]{% |
| 137 \hspace{0pt}\marginpar{\raisebox{0.5ex}{\miniscule{\color{LMdim}#1}}}} |
| 138 |
| 139 % support convenient renewcommand |
| 140 \let\OriginalLMHash\LMHash |
| 141 |
| 142 % define a label, and show the associated logical location marker |
| 143 \newcommand{\LMLabel}[1]{% |
| 144 \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{sec:#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 % ---------------------------------------------------------------------- |
| 151 |
OLD | NEW |