[Maxima-discuss] Recent CSS changes

[Raymond T. <toy...@gm...>]

Thanks Jamie for the recent CSS changes. I have a few of questions/comments.

First, it seems that you've changed the background for the nav bar to be 
a fairly light gray. I find that really hard to distinguish from the 
current white background. This is a matter of taste, I guess, but I 
liked the blue from the Emacs manual because it stands out more.

Second, you are using div.header for the CSS for the nav bar. That's 
fine for texinfo 6.8, but for 7.2, that doesn't exist. I guess that's 
why I chose .nav-panel originally. I guess we need to handle both cases. 
I have texinfo 7.1 and 7.1.1 around; I'll try those out soon to see what 
CSS property is used.

For the record, this is part of the HTML generated by texinfo 7.2:

|<div class="top-level-extent" id="Top"> <div class="nav-panel"> <p> 
Next: <a href="Introduction-to-Maxima.html" accesskey="n" 
rel="next">Introduction to Maxima</a>, Previous: <a 
href="../dir_html/index.html" accesskey="p" rel="prev">(dir)</a>, Up: <a 
href="../dir_html/index.html" accesskey="u" rel="up">(dir)</a> &nbsp; 
[<a href="#SEC_Contents" title="Table of contents" 
rel="contents">Contents</a>][<a href="Function-and-Variable-Index.html" 
title="Index" rel="index">Index</a>]</p> </div> |

Third, you're using FreeSans for the font (with a fallback to sans 
serif) and Courier New with a fallback to monospace. Based on 
https://stackoverflow.com/questions/10277002/where-can-i-find-list-with-web-safe-fonts, 
maybe we should try to use some web-safe fonts instead. No font is 
universally available, but the links there do suggest some of the most 
common fonts available on Windows and Mac. (The list is outdated, I 
think.) I suspect Windows (presumably the most common users of the 
manual?) don't have FreeSans. 
https://kinsta.com/blog/web-safe-fonts/#what-fonts-are-web-safe has a 
list of the best web-safe fonts. I don't know how true it is. They also 
suggest an appropriate font stack.

&#8203;