palmskog/coqdocjs

Issues

• Deploy branch: master or gh-pages?

  #6 opened 5 years ago by liyishuai
  2

• Arrows for proofs don't work on Android browsers

  #3 opened 5 years ago by palmskog
  0

• "Proof." folding symbol not rendered in Firefox 71 on and Chromium on Gentoo Linux

  #5 opened 5 years ago by chdoc
  1

• Inconsistent indentation of "Proof"

  #4 opened 5 years ago by palmskog
  0

• Investigate fonts with ligatures

  #2 opened 5 years ago by palmskog
  0