我想为我的证明环境创建书签。也就是说，我希望在我的 pdf 查看器 (skim) 中显示的内容表中，将证明与我的小节一起列出。我有以下设置：
前言：
\usepackage{hyperref}
\usepackage[open, openlevel=3]{bookmark}
\makeatletter
\renewenvironment{proof}[1][\proofname]{
\bookmark[level=2, dest=\@currentHref]{#1}%
\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
\trivlist
\item\relax
{\bfseries
#1\@addpunct{.}}\hspace\labelsep\ignorespaces\newline
}{%
\popQED\endtrivlist%
\@endpefalse
}
\makeatother
这确实为我的证明生成了书签，但大约一半的书签链接到了错误的页面。
环境的定义来自http://www.ams.org/arc/tex/amscls/amsthdoc.pdf在第 11 页。我只添加了
\bookmark[level=2, dest=\@currentHref]{#1}%
这是我取自这篇文章的：使用 ntheorem 自动创建 PDF 书签
有人知道是什么原因导致书签链接到错误的页面吗？
这是我的文档中的示例证明环境。
%%% ------------------------------------------------------------------------%%%
\begin{proof}[Proof of Theorem~\ref{thm:single-crossing-v_uaR}]
\label{proof:thm:single-crossing-v_uaR}
The claim follows from the monotonicity properties proved in
theorem~\ref{thm:first-order-monotonicity}.
\end{proof}
%%% ------------------------------------------------------------------------%%%
我很感激能得到任何帮助。