Joel Marcey ea9e0757ff Add initial GitHub pages infra for RocksDB documentation move and update. ()
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

30 lines
1.0 KiB
HTML

<div id="header_nav">
<div class="navSlideout">
<i class="menuExpand" id="header_nav_expander"><span></span><span></span><span></span></i>
</div>
<nav class="slidingNav">
<ul>
{% for item in site.data.nav %}
<li class="navItem">
<a href="{{ item.href }}"{% if item.category == "external" %} target="_blank"{% endif %}>{{ item.title }}</a>
</li>
{% endfor %}
{% if site.searchconfig %}
{% include nav_search.html inputselector="search_input_react" %}
{% endif %}
</ul>
</nav>
</div>
<script>
var event = document.createEvent('Event');
event.initEvent('slide', true, true);
document.addEventListener('slide', function (e) {
document.body.classList.toggle('sliderActive');
}, false);
var headerNav = document.getElementById('header_nav');
var headerNavExpander = document.getElementById('header_nav_expander');
headerNavExpander.addEventListener('click', function(e) {
headerNav.classList.toggle('navSlideoutActive');
document.dispatchEvent(event);
}, false);
</script>