Merge branch 'master' into canary

This commit is contained in:
Jimmy Cai
2023-09-03 16:18:40 +02:00
6 changed files with 9 additions and 2 deletions
@@ -55,6 +55,7 @@
margin-right: 0.4em;
padding: 0 0.4em 0 0.4em;
color: #7f7f7f;
display: block;
}
/* LineNumbers */