Attempt 2, the first one did the search box on the full page search page, this one should do it for the sidebar: And it is pulled out into extra.css too which is nice.
Close#1881
More specifically:
- Change mention of app developer tutorial in README to instead
link to developer portal.
- Add a flexbox grid at the top of /developing/ for quick access
icons to next steps, to make it feel more like a "developer
portal" (cc: @jadeqwang), supported by `docs/extra.css`
While I was at it:
- Move the documentation explaining the vague overall design goals
of `vagrant-spk` from `docs/vagrant-spk/index.md` into the existing
file, `docs/vagrant-spk/customizing.md` which allowed me to delete
`docs/vagrant-spk/index.md` entirely.
- Adjust the packaging tutorial to say that some parts might be slow
due to download times.
- Drastically improve (in my opinion) the amount of information, and
its contextualization, within the Developer Portal. Up until now,
Cap'n Proto was not even mentioned once.
- Update commented-out TODO items to indicate that some docs have now
been written.
This commit:
- Forks base.html from the mkdocs readthedocs theme.
- Copies in the Javascript unmodified, since I was having problems with the JS
not executing locally otherwise.
- Adds a README.md to this directory.
- Uses extra_css.
- Adjusts mkdocs.yml to point at the customizations.
- Uses flexbox to add a "sandstorm.io" link so people can get to
the sandstorm.io home.
- Adjusts mkdocs.yml to rename this project to just "Docs" rather tha
"Sandstorm" or "Sandstorm Docs" so that the navigation link in the top
is clearer.
- Tells mkdocs to ignore the env/ directory, which contains a
virtualenv.
Close#1405
Jacob Weisz
Zach Balleisen
neynah
Asheesh Laroia