|
@@ -93,7 +93,7 @@
|
|
|
%
|
|
%
|
|
|
% Commands to reference these things.
|
|
% Commands to reference these things.
|
|
|
%
|
|
%
|
|
|
-\newcommand{\remark}[1]{\par$\rightarrow$\textbf{#1}\par}
|
|
|
|
|
|
|
+\newenvironment{remark}{\par\makebox[0pt][r]{\bfseries{}Remark:\hspace{.25em}}}{\par}
|
|
|
\newcommand{\olabel}[1]{\label{option:#1}}
|
|
\newcommand{\olabel}[1]{\label{option:#1}}
|
|
|
%
|
|
%
|
|
|
% some OSes
|
|
% some OSes
|
peter