mostly style changes + auto update version in docs#176

namin merged 1 commit into

mainmidspiral/LemmaScript:mainfrom

sitemidspiral/LemmaScript:siteCopy head branch name to clipboard