Chris Spiel

Implement TeX execution-control macros to avoid warnings. All of these macros are no-ops in Hevea.

tl;dr: minipage env now works with Hevea; layout still sucks. Modern LaTeX allows for up to three optional parameters to be passed to the environment `minipage` besides the mandatory argument...

Fix environment name s/FlushLeftRight/FlushRight/.

1

Also add some missing end-of-environment macros, which caused warnings. @maranget: In this context I'm not satisfied with ``Html.insert_block``. ```ocaml and insert_block s attr = if find_prev_par () then warning "Ignoring...

Fix and modernize contents of `head` (according to vnu checker)

2

The **vnu** checker as of version 20.6.30 always turns up the following problems with Hevea-generated HTML files (edited for clarity): ``` Line 4: error: Internal encoding declaration "us-ascii" disagrees with...

Introduce CSS-classes for font families and font variants.

1

Hevea "hard-codes" `font-family: monospace` for typewriter text. Obviously, this has not riled anybody until now. If you are chasing a consistent appearance of the Hevea-translated document or simply want to...

If we redirect **hevea** output to stdout one or more auxilliary files appear in the current working directory. ```shell mkdir d cd d hevea -o -

HeVeA leaves space-eating mode (at least) after macros `\label` and `\index`. Here is a sufficiently minimum-buggy example: ```latex \documentclass{article} \usepackage{imakeidx} \makeindex \begin{document} \noindent \textbackslash label \begin{itemize} \item Foo \item\label{it:bar}Bar \item...

Here is a minimal example: ```latex \documentclass{article} \begin{document}\small \begin{enumerate} \renewcommand{\labelenumi}{(\arabic{enumi})} \item An item. \end{enumerate} \end{document} ``` TeX is very user-friendly in this case by dropping all white-space after the opening...

Hevea optimizes (option: `-O`) out some CSS classes that use pseudo-element selectors; without optimization the generated HTML code is fine. Here comes an example: ```latex \documentclass{article} \usepackage{hevea} \newstyle{:root}{--initialcapwidth: 60\%}% not...

Dot-less `i' and `j'

2

This is "just for the record". We have to be careful when using the dot-less 'i' and the dot-less 'j'. This example exhibits most of the quirks. ```latex \documentclass{article} \begin{document}...