/* Deliberately empty.

   This panel loads two theme stylesheets on every page, and the first of them used to be
   Bootstrap 3.3.7. Our pages are complete designs that bring their own reset, so Bootstrap had
   nothing to add and plenty to break: with it loaded, the same FAQ template measured 2582px
   against staging's 2433px, the hero grew 18px and the language button moved 24px. The old
   port answered that with 94 `!important`; this answers it by not loading the fight.

   What Bootstrap's markup still needs — the panel's alerts, its modal, its pagination and a few
   utility classes it toggles from JavaScript — is in `style.css`, written in our own design
   language, so a fragment the panel renders looks like the rest of the page instead of like
   another site.

   Not lost: the original file is in the repository, and Appearance → Themes → Edit theme can
   reset any single file to its default.

   The panel's own sheets, which are not part of the theme and are left alone:
   bootstrap-datetimepicker.min.css, Font Awesome all.min.css, and two more it injects. */