samredai commented on a change in pull request #3382: URL: https://github.com/apache/iceberg/pull/3382#discussion_r737070813
########## File path: site/docs/theme_customization/topbar.html ########## @@ -0,0 +1,124 @@ +<!-- + ~ Licensed under the Apache License, Version 2.0 (the "License"); + ~ you may not use this file except in compliance with the License. + ~ You may obtain a copy of the License at + ~ + ~ http://www.apache.org/licenses/LICENSE-2.0 + ~ + ~ Unless required by applicable law or agreed to in writing, software + ~ distributed under the License is distributed on an "AS IS" BASIS, + ~ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + ~ See the License for the specific language governing permissions and + ~ limitations under the License. + --> + +<nav class="navbar wm-page-top-frame"> + <div class="container-fluid wm-top-container"> + {# Search input and button #} + <div class="wm-top-tool pull-right wm-vcenter"> + <form + class="dropdown wm-vcentered" + id="wm-search-form" + action="{{ base_url }}/search.html" + > + {# Button to show search-box on small screens #} + <button + id="wm-search-show" + class="btn btn-sm btn-default" + type="submit" + > + <i class="fa fa-search" aria-hidden="true"></i> + </button> + + <div class="input-group input-group-sm wm-top-search"> + <input + type="text" + name="q" + class="form-control" + id="mkdocs-search-query" + placeholder="Search" + autocomplete="off" + /> + <span class="input-group-btn" role="search"> + {# This button is hidden, but exists because an element with + data-toggle attr is relied on by bootstrap. #} + <button + class="btn btn-default dropdown-toggle collapse" + data-toggle="dropdown" + type="button" + > + <span class="caret"></span> + </button> + <ul + id="mkdocs-search-results" + class="dropdown-menu dropdown-menu-right" + ></ul> + <button id="wm-search-go" class="btn btn-default" type="submit"> + <i class="fa fa-search" aria-hidden="true"></i> + </button> + </span> + </div> + </form> + </div> + + {# Table-of-contents button #} + <div class="wm-top-tool wm-vcenter pull-right wm-small-left"> + <button + id="wm-toc-button" + type="button" + class="btn btn-sm btn-default wm-vcentered" + > + <i class="fa fa-th-list" aria-hidden="true"></i> + </button> + </div> + + {# Optional forward-back buttons #} {% if config.extra.history_buttons %} + <div class="wm-top-tool pull-right wm-vcenter"> + <div class="btn-group wm-vcentered" role="group" aria-label="back"> + <button id="hist-back" type="button" class="btn btn-sm btn-default"> + <i class="fa fa-arrow-left" aria-hidden="true"></i> + </button> + <button id="hist-fwd" type="button" class="btn btn-sm btn-default"> + <i class="fa fa-arrow-right" aria-hidden="true"></i> + </button> + </div> + </div> + {% endif %} + <div id="hideable-navs"> + <div class="top-right-nav-item pull-right wm-vcenter"> + <a href="https://github.com/apache/iceberg"; target="_blank"> + <img src="{{ base_url }}/img/GitHub-Mark-32px.png"/> + </a> + </div> + <div class="top-right-nav-item pull-right wm-vcenter"> + <a href="/security/"> Security </a> + </div> + <div class="top-right-nav-item pull-right wm-vcenter"> + <a href="/trademarks/"> Trademarks </a> + </div> + <div class="top-right-nav-item pull-right wm-vcenter"> + <a href="/blogs/"> Blogs </a> + </div> + <div class="top-right-nav-item pull-right wm-vcenter"> + <a href="/community/"> Community </a> + </div> + <div class="top-right-nav-item pull-right wm-vcenter"> + <a href="/roadmap/"> Roadmap </a> + </div> + <div class="top-right-nav-item pull-right wm-vcenter"> + <a href="/releases/"> Releases </a> Review comment: Great idea, I listed it as a map in `extra -> topnav -> ...` and changed it here to a for loop. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
