You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Yikai Zhao 169651c1b7 Add bazel doc		1 year ago
..
icons/docs	Add bazel doc	1 year ago
images	Run `optipng -o7` on all PNG files	5 years ago
404.html	Changed the display absolute to flex for both 404 and 500 page	5 years ago
500.html	Changed the display absolute to flex for both 404 and 500 page	5 years ago
favicon.ico	Update icons	10 years ago
favicon.pxm	Add icon source files	6 years ago
favicon@2x.pxm	Add icon source files	6 years ago
manifest.json	manifest.json: add url_handler for devdocs.io	2 years ago
mathml.css	Host MathML stylesheet in DevDocs	8 years ago
opensearch.xml	fix: remove cdn entirely and rely on Cloudflare	4 years ago
robots.txt	Add settings page	8 years ago