/* Theme overrides for the PDF.js viewer (re-add the <link> in viewer.html after upgrading PDF.js). */
#openFile,
#secondaryOpenFile,
#editorModeButtons,
#editorModeSeparator {
  display: none !important;
}