use checkout for pulling updates

Jacky Zhao

2023-08-03 fdf1e2a41d079c4f2d1f3df7c297fa0d92a18cc9

 quartz/theme.ts

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

}