fslit seems to no longer work very well about fstar-mode.el HOT 6 OPEN

Do you know what changed (a sphinx update maybe?)

from fstar-mode.el.

no we pinned sphinx to the previous version -- I'm observing this with my local machine:

jonathan@absinthe:~/Code/mitls-fstar (no_hsl) $ sphinx-build --version
sphinx-build 2.4.3

and also on the CI build

jonathan@absinthe:~/Code/everest-ci (master) $ git grep sphinx
server-infra/linux/.docker/Dockerfile:#Install sphinx (for the Low* tutorial)
server-infra/linux/.docker/Dockerfile:RUN pip3 install sphinx==1.7.2 sphinx_rtd_theme

from fstar-mode.el.

Maybe sphinx_rtd_theme, then? Can you try pinning it to a previous release and seeing if that still happens?

from fstar-mode.el.

indeed, it looks like sphinx_rtd_theme now slaps white-space: nowrap on <code> HTML tags

any way you could skip the <code> tag? right now the structure is

<pre>
<code>stuff
over
multiple
lines but with white-space nowrap
</code>
</pre>

the <pre>, per sphinx-rtd-theme, has the right CSS styling so just getting rid of the extra <code> would likely be enough

from fstar-mode.el.

actually, is there any way that fslit could generate the equivalent of

.. code-block:: fstar
  <contents of the F* code here>

? I'm enjoying syntax higlighting via pygments for code-blocks I manually wrote, but the fslit-generated code blocks don't seem to be enjoying this formatting

from fstar-mode.el.

Sorry, I missed your messages. I'd use a custom stylesheet to work around this problem; let me know if you need help writing it.

actually, is there any way that fslit could generate the equivalent of …

Yes, definitely; the reason they are not currently highlighted is that they're intended to be highlighted in js, along with running fstar.js.

from fstar-mode.el.