mobile fixes, fix bug when linking to anchor on home, docs

Jacky Zhao

2023-08-07 028bcec62c3ca019a96783f17eaee1ecce6e092b

 quartz/theme.ts

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

}