web: add correct DOCTYPE to the web-server index.html 🤦 (!21492) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge vb/doctype-web-server into main May 28, 2021

Created by: valerybugakov

Changes

Added a document type declaration to the index.html served by the web server. Missing DOCTYPE caused incorrect styles. This change also fixes this issue.
Set disableDotRule: true in the web server config to avoid falling back to static files when the . symbol is present in the path, which is a frequent case because of the file search.

Closes #20745.