Provide detailed instructions on how to submit PRs for Github mirrored repos

[web.git] / _layouts / default.html

diff --git a/_layouts/default.html b/_layouts/default.html
index bbe3f6179549a4fa0080bb3f4c0f32aa76106ffb..c85935d1e32a452eabadaf72f095d78045336910 100644 (file)
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -30,7 +30,8 @@
         <li class="name">
             <h1>
                 <a href="#">
-                    {{page.title}}
+                    <img src="{{site.prefix}}logo/logo_small.png"></img>
+                    <span class="top-bar-title">{{page.title}}</span>
                 </a>
             </h1>
         </li>
@@ -49,6 +50,15 @@
 <!-- Main Page Content and Sidebar -->
 
 <div class="row">
+    <!-- Docs Sidebar -->
+
+    {% if page.url contains '/docs/' %}
+    <aside class="large-3 columns">
+        {% include docs_nav.html %}
+    </aside>
+    {% endif %}
+
+    <!-- End Docs Sidebar -->
 
     <!-- Main Blog Content -->
     <div class="large-9 columns" role="content">
@@ -61,13 +71,11 @@
 
     <!-- Sidebar -->
 
+    {% unless page.url contains '/docs/' %}
     <aside class="large-3 columns">
-        {% if page.url contains '/docs/' %}
-            {% include docs_nav.html %}
-        {% else %}
-            {% include side_nav.html %}
-        {% endif %}
+        {% include side_nav.html %}
     </aside>
+    {% endunless %}
 
     <!-- End Sidebar -->
 </div>