[#17,css][s]: fix first heading top padding (messed up by fix for #13) - fixes #17.
[#18,localtoc][s]: add support for localtoc - fixes #18.
fixed #20 the bug with the glossary.

@rgrp the anchoring in the glossary is done quite differently. This fixes
it although introducing some ugliness. looking for a better way.
Merge pull request #21 from mihi-tr/master

Fix to the bug with anchors in the glossary (issue #20)
Nicer styling on autodoc generated documentation
Merge pull request #22 from amercader/master

Nicer styling for autodocs
[#23,css][s]: change to PT Sans as default font and tweak literals and navbar (a bit more compressed).
[#23,css][s]: tweak size of headings to be in line with new font and font size and increase default font size to 18.
[layout][xs]: change main part to span8 from span9 and sidebar to span4 from span3.
[#19,#23,css][s]: use the RTD styling for admonitions and have pre/code use same font as literals - fixes #23.
Get external assets via https

Readthedocs.org supports https, non-secure assets are not nice.
Use absolute path to _static dir
Merge pull request #26 from okfn/absolute-path-static

Use absolute path to _static dir
Merge pull request #25 from okfn/https-ready

Get external assets via https
seach bar position
remove header search
padding short
support style :file:
auto reload button
AutoReloadをオプション化した