[#22] making sure docs aren't included in the search
[#22] added docs-only search bar to docs page
[#22] refactored css for different docs versus main site css; added styling to project_list.html