From d5290c61d80ee6ed108b498221fb48a84b4f2e6f Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Sat, 10 Aug 2013 16:11:34 -0700
Subject: [PATCH] fixes #9217 manually--use main element instead of div in home
and default layouts
---
_layouts/default.html | 4 ++--
index.html | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/_layouts/default.html b/_layouts/default.html
index 17431f91ee..3d0e7880ec 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -42,9 +42,9 @@
</ul>
</div>
</div>
- <div class="col-lg-9" role="main">
+ <main class="col-lg-9" role="main">
{{ content }}
- </div>
+ </main>
</div>
</div>
diff --git a/index.html b/index.html
index 468833fd0d..dc9a5463f7 100644
--- a/index.html
+++ b/index.html
@@ -4,7 +4,7 @@ title: Bootstrap
base_url: "./"
---
-<div class="bs-masthead" id="content" role="main">
+<main class="bs-masthead" id="content" role="main">
<div class="container">
<h1>Bootstrap 3</h1>
<p class="lead">Sleek, intuitive, and powerful mobile-first front-end framework for faster and easier web development.</p>
@@ -13,4 +13,4 @@ base_url: "./"
</p>
<p><strong>Heads up!</strong> Downloads are pulled directly from the latest commited code on GitHub, and as a result our docs may at times be out of sync.</p>
</div>
-</div>
+</main>
--
GitLab