Include jQuery locally in themes.

[tsenart]

It seems that most themes are loading jQuery from https://code.jquery.com/jquery-1.10.2.min.js.
Sometimes this halts the loading of the whole page. Wouldn't it make sense to serve this resource ourselves instead?

[d0ugal]

This is an intersting one. I think we probably need to make it configurable if we want to change anything. I think the two requirements I see are:

• Using a CDN is a sensible default - typically it should be faster unless you do hard refreshes.
• Documentation should also work offline.

At the moment you can solve this with a custom theme, however, I can see that isn't ideal. I can't think of another solution at the moment.

[lovelydinosaur]

I'd probably go with just including it locally. Imperfect but good-enough and doesn't require any extra config, documentation etc...

[d0ugal]

Ok, lets vendor jQuery :) Unfortunately I think it means we need to include it n times, where n is the number of themes.

[tsenart]

Can't you have a build step which copies vendored resources to each theme for each release artefact? That way you avoid duplication of code in the repository.

[d0ugal]

Yup, good idea - it just adds some complexity. How do we know if a theme needs jquery? What if they use different versions etc.

[lovelydinosaur]

where n is the number of themes.

I think we should only be including the MkDocs and ReadTheDocs themes. The bootswatch stuff outghta get packaged seperately rly.

[tsenart]

Regardless of packaging the themes separately, each theme ought to define their dependencies in a consistent manner. What solution you use for that is up to you, but once you have it, it's easy to track what depends on what and satisfy those dependencies.

[lovelydinosaur]

I would just avoid any notion of dependancies as much as possible, just include the theme wholesale. It's the simplest possible thing that works.

[tsenart]

I appreciate keeping things simple. Despite the fact you already have unmanaged dependencies, I'm sure once it becomes a hassle, you'll pick the right tool for the job.

[lovelydinosaur]

Updating title with what I think is reasonable upshot of this.

[shvchk]

One of the use cases is generating docs for completely isolated environment (i.e. with no internet access at all), so an option to have all resources locally (js, css, fonts, everything) would be really nice.