rocksdb/docs/_includes/nav.html
Joel Marcey ea9e0757ff Add initial GitHub pages infra for RocksDB documentation move and update. (#1294)
This is the initial commit with the templates necessary to have our RocksDB user documentation hosted on GitHub pages.

Ensure you meet requirements here: https://help.github.com/articles/setting-up-your-github-pages-site-locally-with-jekyll/#requirements

Then you can run this right now by doing the following:

```
% bundle install
% bundle exec jekyll serve --config=_config.yml,_config_local_dev.yml
```

Then go to: http://127.0.0.1:4000/

Obviously, this is just the skeleton. Moving forward we will do these things in separate pull requests:

- Replace logos with RocksDB logos
- Update the color schemes
- Add current information on rocksdb.org to markdown in this infra
- Migrate current Wodpress blog to Jekyll and Disqus comments
- Etc.
2016-08-24 15:35:38 -07:00

29 lines
1.0 KiB
HTML

<div id="fixed_header" class="fixedHeaderContainer{% if include.alwayson %} visible{% endif %}">
<div class="headerWrapper wrapper">
<header>
<a href="{{ site.url }}{{ site.baseurl }}/">
<img src="{{ site.baseurl }}/static/logo.svg">
<h2>{{ site.title }}</h2>
</a>
<div class="navigationWrapper navigationFull" id="flat_nav">
<nav class="navigation">
<ul>
{% for item in site.data.nav %}
<li class="navItem{% if page.collection == item.category or page.category == item.category %} navItemActive{% endif %}">
<a href="{{ item.href }}">{{ item.title }}</a>
</li>
{% endfor %}
{% if site.searchconfig %}
{% include nav_search.html inputselector="search_input" %}
{% endif %}
</ul>
</nav>
</div>
<div class="navigationWrapper navigationSlider" id="navigation_wrap">
{% include nav/header_nav.html %}
</div>
</header>
</div>
</div>