merging changes from rome

This commit is contained in:
Calvin Jhunjhnuwala
2021-07-01 16:24:09 -07:00
3 changed files with 19 additions and 9 deletions

View File

@@ -70,6 +70,7 @@
</form>
</div><!--/#topnav-search-->
<!--{#TEMPORARILY DISABLED: language selector (many common pages are mostly untranslated right now)
<div class="nav-item" id="topnav-language">
<div class="dropdown">
<a class="nav-link dropdown-toggle with-caret" id="language_selector_header_btn" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
@@ -87,5 +88,6 @@
</div><!--/.dropdown-menu-->
</div><!--/.dropdown-->
</div><!--/.language-selector-->
#}-->
</div><!--/#top-main-nav-->
</nav>