Open henrikt-ma opened 3 years ago
Finally looking at this, but kinda wondering if the proposal is the right thing to do, in general. In fact, we intentionally avoid adding navigation links to "self". Is there perhaps some (possibly css) way of attractively filling the space?
I don't see that this would necessarily need to be considered a self-link. Maybe you mean something different, but "self-link" makes me think of the (very useful) feature of a page that allows the user to easily copy a link to present header. What I am talking about here is a link to the top of the entry page.
To accomplish something like what is there for rel="up"
today looks hard to accomplish using just CSS:
<a href="./" title="Modelica® Language Specification version 3.7-dev" class="ltx_ref" rel="up"><span class="ltx_text ltx_ref_title">Modelica<sup class="ltx_sup">®</sup> Language Specification version 3.7-dev</span></a>
In particular, I appreciate how LaTeXML takes care of setting up the HTML-formatted title of the linked page.
However, before further considering what to do for a goto-top-page, perhaps one should think about the obsolete status of using rel="up"
? It's a bit concerning to me that we rely on this attribute value for selecting the element in our CSS, while a quick search on the web gives me that this attribute value was abandoned after HTML 3. Maybe LaTeXML should provide a alternative means for identifying the up-link, for example using class="ltx_ref_nav_up"
. Then something like class="ltx_ref_nav_start"
could be used for the top-page link (avoiding class="ltx_ref_nav_top"
, which could also sound linkt a link to the top of the current page).
We have a document split into chapters, where the up-link page header is used to always make the document title visible on every page: https://specification.modelica.org/master/equations.html
(It is nice that this up-link also provides a way to reach the top page, since we have stripped this link from the table of contents.)
The problem is that there isn't any up-link on the top page, resulting in a strange empty page header. This would be solved if there was a top-link (present on every page) that we could use instead of the up-link.