<div dir="ltr"><div class="gmail_extra">On Sun, Dec 23, 2012 at 9:07 PM, Matthew Knepley <span dir="ltr"><<a href="mailto:knepley@gmail.com" target="_blank">knepley@gmail.com</a>></span> wrote:<br><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_extra">I do not want to give up on namedest yet. There are some suggestions here:</div><div class="gmail_extra">
<br></div><div class="gmail_extra"><a href="http://sbml.org/Forums/index.php?t=tree&goto=7873&rid=0" target="_blank">http://sbml.org/Forums/index.php?t=tree&goto=7873&rid=0</a></div>
<div class="gmail_extra"><br></div><div class="gmail_extra">1) The guys says to try the Acrobat plugin for Firefox</div></blockquote><div><br></div><div style>... confirming that it's totally non-portable.</div><div style>
<br></div><div style>PDF isn't a great format for the web for many reasons including that it always loads the entire 1.5MB document and that "back" buttons are much less reliable when following links in a PDE. Since #page is the most nearly portable solution, I don't mind using that end eventually finding a way to produce good-looking HTML output.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_extra"></div><div class="gmail_extra">2) He says you need the hyperref option "destlabel=true".</div>
</blockquote></div><br></div></div>