diff options
| author | David Wosnitza <david@druul.in> | 2014-12-14 10:44:39 +0100 |
|---|---|---|
| committer | David Wosnitza <david@druul.in> | 2014-12-14 10:44:39 +0100 |
| commit | 71b93b34a678e607e1935f5185836664056a3ccc (patch) | |
| tree | 1b3b9cc57f51fce9060b8629b6e638c1681d87ff /user_guide_src/source/_themes/sphinx_rtd_theme/searchbox.html | |
| parent | 4455b88ce2882876e97ff0b18fba740ea7c32532 (diff) | |
increased bottom margin
Signed-off-by: David Wosnitza <david@druul.in>
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/searchbox.html')
0 files changed, 0 insertions, 0 deletions