Draw ellipsis at window width (via CSS), not 80 characters. Also show the hypotheses and conclusions in theorem list.
Draw ellipsis at window width (via CSS), not 80 characters.
Also show the hypotheses and conclusions in theorem list.

raphlinus/ghilbert,kryptine/ghilbert,jkingdon/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,jkingdon/ghilbert,raphlinus/ghilbert,kryptine/ghilbert