Packages
rocksdb
1.1.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/collection_nav.html
<div class="docsNavContainer">
<nav class="toc" id="doc_nav">
<div class="toggleNav" id="collection_nav">
<section class="navWrapper wrapper">
<div class="navBreadcrumb wrapper">
<div class="navToggle" id="collection_nav_toggler">
<i></i>
</div>
<h2>
<a href="{{ include.sectionpath }}">{{ include.sectiontitle }}</a>
{% if include.currentgroup %}
<i>›</i>
<span>{{ include.currentgroup }}</span>
{% endif %}
</h2>
</div>
<div class="navGroups">
{% if include.type == "blog" %}
{% assign grouptitle = "All Posts" %}
{% assign groupitems = include.navdata %}
{% include nav/collection_nav_group.html %}
{% else %}
{% for group in include.navdata %}
{% assign grouptitle = group.title %}
{% for item in group.items %}
{% if item.id == page.docid %}
{% assign currentgroup = group %}
{% endif %}
{% endfor %}
{% include nav/collection_nav_group.html %}
{% endfor %}
{% endif %}
</div>
</section>
</div>
</nav>
</div>
<script>
var docsevent = document.createEvent('Event');
docsevent.initEvent('docs_slide', true, true);
document.addEventListener('docs_slide', function (e) {
document.body.classList.toggle('docsSliderActive');
}, false);
var collectionNav = document.getElementById('collection_nav');
var collectionNavToggler =
document.getElementById('collection_nav_toggler');
collectionNavToggler.addEventListener('click', function(e) {
collectionNav.classList.toggle('toggleNavActive');
document.dispatchEvent(docsevent);
});
var groups = document.getElementsByClassName('navGroup');
for(var i = 0; i < groups.length; i++) {
var thisGroup = groups[i];
thisGroup.onclick = function() {
for(var j = 0; j < groups.length; j++) {
var group = groups[j];
group.classList.remove('navGroupActive');
}
this.classList.add('navGroupActive');
}
}
</script>