windows patches

Jacky Zhao

2023-08-02 9a0f20012a8f5051aa2faac62f91dc4f2a38151c

 quartz/theme.ts

@@ -60,5 +60,4 @@
  --highlight: ${theme.colors.darkMode.highlight};
}
`

}