Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
fix(site): deduplicate styles for the site #2011
What project are you opening a pull request for?
there were two css files linked, but they only differed in the
pay attention to doocgen/layouts/example where I replaced header.css to index.css, but it doesn't make a big difference in the size, since index.css should already be cached at this point, and is requested on every other page.
css is not longer duplicated, /example/* loads the whole css