Aside: MkDocs

I am working on a static site to house papers and other materials, and I am building it using MkDocs. The most useful page at the moment is the one on custom themes, which walks you through the various {{short codes}} that appear to be a part of the Jinja package — I am not entirely sure because I am still working my way through both sets of documentation. The Google Group — yes, those still exist — has been helpful.

For those interested, the site is I may very well merge my teaching materials onto it at some point, or at least port the CSS over. (I don’t think my students necessarily need, or want, to see everything else about me.)