Packages
rocksdb
0.17.0
3.1.2
3.1.1
3.1.0
3.0.0
2.6.2
2.6.1
retired
2.6.0
retired
2.5.0
2.4.1
2.4.0
2.3.0
2.2.0
2.1.0
2.0.0
1.9.0
1.8.0
1.7.0
1.6.0
1.5.1
1.5.0
1.4.0
1.3.2
1.3.1
1.3.0
1.2.0
1.1.1
1.1.0
1.0.0
0.26.2
0.26.1
0.26.0
0.25.0
0.24.0
0.23.3
0.23.2
0.23.1
0.23.0
0.22.0
0.21.0
0.20.1
0.20.0
0.19.0
0.18.0
0.17.0
0.16.0
0.15.0
0.14.0
0.13.1
0.13.0
0.12.0
0.11.0
0.10.0
0.9.1
0.9.0
0.8.2
0.8.1
0.8.0
0.7.1
0.7.0
0.6.4
0.6.3
0.6.2
0.6.1
0.6.0
RocksDB for Erlang
Current section
Files
Jump to
Current section
Files
deps/rocksdb/docs/_includes/nav/header_nav.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>