Hi, I encountered a problem where the thickness of the borders in a table is different for different lines. It happens in the exported pdf file but not in the texmacs gui. It can happen in both vertical and horizontal lines. What’s strange is that it doesn’t occur for all tables and where it appears seems to be random.
