request 2 个 feature:
(一)markdown 折叠:
语法
<details> <summary>Proof</summary> ... </details>
非常便捷,可以供读者选择阅读,放很长的证明/代码不会影响观感
(二)toc
markdown 目录,这个可以缓一缓(