diff options
| author | Mark Otto <otto@github.com> | 2013-08-11 03:11:34 +0400 |
|---|---|---|
| committer | Mark Otto <otto@github.com> | 2013-08-11 03:11:34 +0400 |
| commit | d5290c61d80ee6ed108b498221fb48a84b4f2e6f (patch) | |
| tree | 4b48c796991932ea0156e833c8fd2f44eccfaa3e /_layouts | |
| parent | 308d40a729717fd49cf56b597ecbdcb0f22405cd (diff) | |
fixes #9217 manually--use main element instead of div in home and default layouts
Diffstat (limited to '_layouts')
| -rw-r--r-- | _layouts/default.html | 4 |
1 files changed, 2 insertions, 2 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> |