Bug Fixes empty servers behaviour per OAS spec (ed1db0c), closes #1151 fix duplicated content in tags when using md headings (a260c84), closes #1150 #1152 use mobile menu background color value from theme (#1144) (41a9b3c)
