rocksdb/docs/_includes/home_header.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

23 lines
839 B
HTML

<div class="homeContainer">
<div class="homeSplashFade">
<div id="home_wrap" class="wrapper homeWrapper">
<div id="inner">
<h2 id="project_tagline">{{ site.tagline }}</h2>
<section id="intro">
<p>{% if page.excerpt %}{{ page.excerpt | strip_html }}{% else %}{{ site.description }}{% endif %}</p>
</section>
<div id="promo" class="section promoSection">
{% for promo in site.data.promo %}
<div class="promoRow">
{% include plugins/{{promo.type}}.html href=promo.href text=promo.text children=promo.children %}
</div>
{% endfor %}
</div>
</div>
<div class="projectLogo">
<img src="{{ site.baseurl }}/static/logo.svg" alt="{{ site.title }}">
</div>
</div>
</div>
</div>