我测试了一下，发现字体能改变，但还是几乎没有间距。有直接增大间距的方法吗？

OneDrive 能做到仅同步 工作空间/data/ 吗，我看帮助文档里是这样要求的。

希望能有合适的方案把日记从搜索中排除掉，全局搜索搜到日记容易被看到隐私内容（很难杜绝窥屏）。

argmax 应该和等号在同一高度，但是第二行的 argmax 开始的一部分公式被抬高了，然后到后面又下降到正常高度。第一行是没问题的。

但在块级公式后换行的操作不是很方便，只能去点左侧的块标，相比之下点右边会快很多，而且也比较符合直觉。

好的

换行没复现出来，倒是遇到另外一个情况，就是按一下标点（比如中文括号）会出来两个。还是用的相同的输入法。而且打出来两个之后退出思源再重进括号就直接消失了，也没有写进.sy 文件里。

输入法是搜狗拼音输入法 8.3 智慧版(8.3.0.9617)

公式是居中的，但是我现在复现不出来了 😳 ，当时是弄了一个临时文档录的，已经删了。等我之后再遇到就发给你

原来是自己用程序实现的，学到了 👍

用 html 包裹具体是怎么操作的？

既然出了侧边竖线的改进，那希望能顺便把侧边竖线和分割线分成两个样式。我想把分割线调粗一点，结果发现只能改所有线的颜色。还是说我没有找到合适的修改位置？

我的版本是 win 10 1709 版本，没有兼容性选项。不过换了搜狗输入法以后就没有问题了。