/* Placeholder for KaTeX styles. Replace with the real KaTeX CSS or remove
   this file if you configure an external KaTeX stylesheet. */