mockups/vElim.html: add line numbers
mockups/vElim.html: fix spacing around Fitch bar; style line nums
mockups/vElim.html: HTML5 doctype; fix selector for assumption lines
mockups/vElim.html: fix ol.proof-lines margin; style justifications; typo