Hi Gerald,Thinks for your review. As your suggestion, change the HTML ids to lowercase. And pushed.
Thanks. Chenghua On 5/7/22 22:38, Gerald Pfeifer wrote:
On Sat, 7 May 2022, xucheng...@loongson.cn wrote:+<h3 id="LoongArch">LoongArch</h3>I usually recommend all lowercase for HTML ids. That is only a recommendation, though, and if you strongly prefer "LoongArch" over "loong" or "loongarch" that is fine. Okay, thanks. Gerald
