Decreased gap in doc headers
No longer changing color of tree links to gray
Fixed search
Uncommenting build extensions
Build!
Build!