<div id="header" class="w3-panel w3-border w3-border-light-grey w3-sand"><div class="w3-row"><div class="w3-col l4 m3 s2"><h4>MINI {% if page_name %}{{page_name}}{% endif %}</h4></div><div class="w3-col l4 m3 s2"><br></div><div class="w3-col l4 m3 s2 w3-center"><a href="{% url 'mini_dashboard' %}" class="w3-button w3-hover-blue">DASHBOARD</a>    <a href="{% url 'mini_IDE' %}" class="w3-button w3-hover-blue">IDE</a><a href="{% url 'mini_logout' %}" class="w3-button w3-hover-red">LOGOUT</a></div></div>	</div>