ParentFull threadrdevnull·wow glad you noticed :) is latex CSS and I thought it would make the text look different (it looks like everyone is using Open Sans nowadays :) https://github.com/gurugeek/latexcss/blob/master/latex.cssView on HN