Open Vampire opened 5 years ago
I tried to switch the rendering engine to "Loboevolution", but that yielded a pretty ugly result. Besides that the font is somewhat skinny und strange-looking, there are encoding issues, no images shown, no code highlighting, ...
I tried to switch the rendering engine to "Loboevolution", but that yielded a pretty ugly result. Besides that the font is somewhat skinny und strange-looking, there are encoding issues, no images shown, no code highlighting, ...