Texinfo CSS version 1.0.2


Texinfo CSS is a style sheet for HTML documents generated with the GNU Texinfo system. This entry describes the changes in version 1.0.2.

I released this new version of the style sheet yesterday (tested with GNU Texinfo version 6.5). This version of the style sheet includes minor changes and a fix for an accessibility problem I describe below. You can download the style sheet from the project's website.

Style sheet name change

The style file is now called texinfo-klare.css instead of document.css to make it easier to identify.

If I find a way to specify not only the style but the complete structure of the pages of the HTML documents generated with texi2any (makeinfo), I plan to change this project, Texinfo CSS, into a whole theme called Texinfo Klare. This theme would include the following changes:

  • HTML5 structure.
  • Conformance to the WCAG 2.0 level AA.
  • Optional JavaScript interface that emulates the behaviour of info. [1]

New style for menu comments

Menu comments were using the serif font family. Now they use sans-serif and a thin bottom border to separate sections in the menu (see Figure 1).

Figure 1

Figure 1. Comparison of menu and link styles between a document generated with version 1.0.1 of the style sheet (back) and a document generated with the current version (front).

Project source files changed location

The source files are managed in a new repository now. The previous repository still exists, but it has a retirement warning that links to the new location.

[1]I could use Lirzin's interface. I don't know why it is not mentioned in the Texinfo manual, though. Maybe it is incomplete. I have to check.