摘要：
（一）使用MariaDB代替mysql数据库（MariaDB数据库管理系统是MySQL的一个分支，主要由开源社区在维护，采用GPL授权许可。开发这个分支的原因之一是：甲骨文公司收购了MySQL后，有将MySQL闭源的潜在风险，因此社区采用分支的方式来避开这个风险。 linux在线安装MariaDB 阅读全文
摘要：
一、字体 偏好设置--》外观--》打开主题文件夹 修改为微软雅黑 body { font-family: "Microsoft YaHei"; color: rgb(51, 51, 51); line-height: 1.6; } 二、代码块字体 在themes文件夹下，添加base.user.cs 阅读全文