search

slatex / sTeX

A semantic Extension of TeX/LaTeX
49 stars 9 forks source link

table alignment off #419

Open kohlhase opened 5 months ago

kohlhase commented 5 months ago

In ./MiKoMH/GenCS/source/atp0/slides/tableaux-motivation.en.tex we have

        \begin{tabular}{|c|c|}\hline
          \Sn{tableau} \sn{refutation} (\Sn[post=ity]{satisfaction?valid})
          & \Sn{model generation} (\sr{satisfaction?satisfiable}{Satisfiability})\\\hline

but the generated HTML is not centered in the table: see https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=atp0/slides/tableaux-motivation.en.xhtml&bindings=0_3_13iuasGi5tv

Screenshot 2024-02-05 at 17 07 18
kohlhase commented 5 months ago

It seems to me that all the tableaux are right-centered in AI.