update docs on github pages and syncing

Jacky Zhao

2023-08-19 d8bec631b6dee8f5b9c42f75d154252e53e81b77

 quartz/components/styles/legacyToc.scss

@@ -12,7 +12,7 @@
      margin: 0;
    }
  }
    

  & ul {
    list-style: none;
    margin: 0.5rem 1.25rem;