{#
Devdocs is an SPA so each page has identical structure.
For performance, as many items are marked "safe" as possible.
CSS is taken straight from DevDocs so variations in tag usage between
languages/libraries can be normalized.
-#}
{{title}}
{# Prefetch navbar to limit flash. #}