XhmikosR ee574b76a7 Switch to lowercase doctype. (#24217) ...

Having it uppercase doesn't offer anything and the lowercase version slightly improves gzip compression.

2017-10-03 19:34:59 +03:00

..

index.html

Switch to lowercase doctype. (#24217)

2017-10-03 19:34:59 +03:00

navbar-top.css

Rearrange all the docs to allow for a docs/major.minor/ setup

2017-05-29 23:32:28 -07:00