Merge pull request #12152 from hasezoey/addCodeToHeaders

Docs: add "code" to Headers (and index list)

Author: vkarpov15

docs/api_split.pug

@@ -44,12 +44,12 @@ block content
       each prop in props
         li
           a(href='#' + prop.anchorId)
-            | #{prop.string}
+            | <code>#{prop.string}</code>
     each prop in props
       hr.separate-api-elements
       h3(id=prop.anchorId)
         a(href='#' + prop.anchorId)
-          | #{prop.string}
+          | <code>#{prop.string}</code>
       if prop.deprecated 
         <span class="deprecated">~DEPRECATED~</span>
       if prop.param != null