File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -70,10 +70,8 @@ <h4 class="modal-title" id="navmodallabel">Area & WG navigation</h4>
7070
7171 < div class ="collapse navbar-collapse " id ="navbar-collapse ">
7272 < ul class ="hidden-nojs nav navbar-nav ">
73- {% with "top" as flavor %}
74- {% include "base/menu.html" %}
75- {% endwith %}
76- </ ul >
73+ {% include "base/menu.html" with flavor="top" %}
74+ </ ul >
7775
7876 < form class ="navbar-form navbar-right hidden-sm hidden-xs " action ="/doc/search/ " role ="search ">
7977 < div class ="form-group ">
@@ -101,10 +99,8 @@ <h4 class="modal-title" id="navmodallabel">Area & WG navigation</h4>
10199 < div class ="row ">
102100 < div class ="col-xs-3 col-md-2 leftmenu ">
103101 < ul class ="nav nav-pills nav-stacked panel panel-default panel-body ">
104- {% with "left" as flavor %}
105- {% include "base/menu.html" %}
106- {% endwith %}
107- </ ul >
102+ {% include "base/menu.html" with flavor="left" %}
103+ </ ul >
108104 </ div >
109105 < div class ="col-xs-9 col-md-10 content-wrapper ">
110106 <!--[if lt IE 8]>
You can’t perform that action at this time.
0 commit comments