{#
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}}
{# Remove top padding which is usually reserved for the search bar. #}