diff -r 637170c17643 -r ba6c316e3d9c doc/book/en/.templates/layout.html
--- a/doc/book/en/.templates/layout.html	Wed Dec 16 14:19:01 2009 +0100
+++ b/doc/book/en/.templates/layout.html	Fri Dec 18 15:06:55 2009 +0100
@@ -111,6 +111,7 @@
     <script type="text/javascript" src="{{ pathto('_static/jquery.js', 1) }}"></script>
     <script type="text/javascript" src="{{ pathto('_static/interface.js', 1) }}"></script>
     <script type="text/javascript" src="{{ pathto('_static/doctools.js', 1) }}"></script>
+    <script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script>
     {%- if use_opensearch %}
     <link rel="search" type="application/opensearchdescription+xml"
           title="Search within {{ docstitle }}"