Update pygments configuration to highlighter
Update bootstrap and add customized theme

The `bootstrap.json` file contains an output of the customization options
selected for the custom theme, and also includes a URL to the web-based
customization options for future reference/editing.