docs upgrade, ci changes

Jacky Zhao

2023-08-07 3adc73a703142b3c0475570e4de16701b2797524

 quartz/theme.ts

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

}