Added separate styling for Lean comments#3

lzy0505 merged 1 commit into

logsem:mainlogsem/iris-tutorial-lean:mainfrom

fresheed:comment_stylefresheed/iris-tutorial-lean:comment_styleCopy head branch name to clipboard