fix formatting

Jacky Zhao

2023-07-26 1c1a56902371d20e35ad3849cc806a2272f8e8df

 quartz/theme.ts

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

}