- restored the main search form

- fixed search highlighting
- the url docstring works again from a ReST perspective, still not PDF

1 files changed, 5 insertions, 1 deletions

diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css
index 3735221ce..810c51410 100644
--- a/doc/build/static/docs.css
+++ b/doc/build/static/docs.css
@@ -34,6 +34,10 @@ strong a {
     float:right;
 }
 
+#searchform {
+    padding:20px;
+}
+
 #pagecontrol {
     float:right;
 }
@@ -224,7 +228,7 @@ dl.class > dt
     padding: 0px 10px;
 }
 
-dt:target {
+dt:target, span.highlight {
     background-color:#FBE54E;
 }