Closed stbuehler closed 7 years ago
Thanks for the report and suggested fix!
I can reproduce the problem, and I think your suggested fix is the best option we have. I’ll see if I can apply that later.
Pushed a fix and started a full re-render. You should see the fixed pages within the next day or two.
Thanks, I can confirm it is looking good now :)
Hi,
this might be related to #84, although I don't think this is related to indented lines.
The following CSS snippet fixes the problem for me:
For an example see the second command in first example in
gpg-wks-client
.