Hi Gwen,
I am about to have a separate side bar for the subsections, but a
site-level search bar is also a good idea. Just filed a JIRA to keep track
of this.
Guozhang
On Tue, Dec 13, 2016 at 6:16 PM, Gwen Shapira wrote:
> Hi,
>
> Since we are breaking down the docs, we can no longer use ct
Hi,
Since we are breaking down the docs, we can no longer use ctrl-f to find
where to find specific things we are looking for... maybe it is time to add
a site search bar? I think google has something we can embed.
On Tue, Dec 13, 2016 at 6:12 PM, Guozhang Wang wrote:
> Folks,
>
> We are contin
