diff options
Diffstat (limited to 'docs/_layouts/global.html')
| -rwxr-xr-x | docs/_layouts/global.html | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/docs/_layouts/global.html b/docs/_layouts/global.html index 467ff7a03f..1b09e2221e 100755 --- a/docs/_layouts/global.html +++ b/docs/_layouts/global.html @@ -124,16 +124,24 @@ </div> </div> - <div class="container" id="content"> - {% if page.displayTitle %} - <h1 class="title">{{ page.displayTitle }}</h1> - {% else %} - <h1 class="title">{{ page.title }}</h1> - {% endif %} + <div class="container-wrapper"> - {{ content }} + {% if page.url contains "/ml" %} + {% include nav-left-wrapper-ml.html nav-mllib=site.data.menu-mllib nav-ml=site.data.menu-ml %} + {% endif %} - </div> <!-- /container --> + + <div class="container" id="content"> + {% if page.displayTitle %} + <h1 class="title">{{ page.displayTitle }}</h1> + {% else %} + <h1 class="title">{{ page.title }}</h1> + {% endif %} + + {{ content }} + + </div> <!-- /container --> + </div> <script src="js/vendor/jquery-1.8.0.min.js"></script> <script src="js/vendor/bootstrap.min.js"></script> |