Fix accidentally removed line from menu template.

diff --git a/docs/layouts/chrome/menu.html b/docs/layouts/chrome/menu.html
index 14ee466d891795f068c2faaafd9cc914e886d7d7..295e850594e9b2dd4c75d56ebc42d22faff621ae 100644 (file)
--- a/docs/layouts/chrome/menu.html
+++ b/docs/layouts/chrome/menu.html
@@ -1,3 +1,5 @@
+<nav class="navbar navbar-inverse navbar-fixed-top" role="navigation">
+  <!-- Brand and toggle get grouped for better mobile display -->
   <div class="navbar-header">
     <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-ex1-collapse">
       <span class="sr-only">Toggle navigation</span>