mirror of
https://github.com/facebook/rocksdb.git
synced 2024-11-30 13:41:46 +00:00
ea9e0757ff
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.
30 lines
1 KiB
HTML
30 lines
1 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> |