removed custom search tools to use defaults from sphinx
Removed DejaVu and Hack fonts
moved default theme back to light
correctly hide nojs search element
readded search js +removed preferences
initial commit