more updates to doc, some theme tweaks, finalizing the 5.0 release

2016-03-20 22:53:03 -07:00
parent 2cbb248938
commit ae69b83a96
29 changed files with 484 additions and 352 deletions
--- a/tooltips.html
+++ b/tooltips.html
@ -1,5 +1,6 @@
 ---
 layout: none
+search: exclude
 ---

 <html>