theme: css hotfix
build: adding more safety into deployment
theme: mms fixing links to pdfs
theme: fixing code-block font to match body text
Use a full width header in the docs and the simplified 'cleaner' mongoDB logo
Fix google custom search in the header.
Add a placeholder for Google Custom Search input
Hide breadcrumbs div if a path doesn't exist.
- Add spacing above and below the document.
- Change sidebar column background color
- Remove unused #breadcrumbs styles.
Set a min-width on the header and change footer styles.
Merge origin/master
Adjust padding for the content DIV.