Incorrectly displayed documentation for BatRandom

[co-dan]

If you take a look at the documentation for BatRandom.choice: https://ocaml-batteries-team.github.io/batteries-included/hdoc2/BatRandom.html#VALchoice

You can see the comment:

This function only works on finite enumerations with less than 2* elements.

Where * is actually the number 30 in a very very tiny font. It is not really illegible on my screen. At first I thought it was a smudge or something.

The comments in the code make it obvious that the limitation is 2^30

[co-dan]

The problem is in the style sheet:

.superscript { font-size : 4 }
.subscript { font-size : 4 }

Firefox complains that 4 is not a valid argument, and defaults it to 4px, which is very small.

[gasche]

Thanks for the report and analysis!

[UnixJunkie]

Anyone has a fix for this?