Static files for the HTML documentation (html_static_path in docs/conf.py).
This file keeps the directory in git: without it a fresh clone has no
docs/_static, and Sphinx warns (an error under -W).
