Slightly improve typesetting.
Don't load bootstrap JS.

After all, we're not even using it, so why bother?