Theme updates.
Some optimization work.
Make cookies valid across the entire site.
Fix comments breaking everything
Should be a slight size win without the quote marks.
Move header search into docs.gl.js where it won't get loaded for the home page. Move docs.gj.search.js to the bottom where it can be loaded asynchonously, because it's now just a bunch of search data.