这是一个能够让你的网站看起来像 LaTex 文档的 CSS 样式库，支持定理、定义、引理和证明的标签，以及作者、副标题、摘要等可选的类名。