Added support for the new Global Navigation GitHub preview feature. The extension now detects whether it is on or off and adjusts the spacing to match the CodeMirror spacing.

Re-uploading after Mozilla pulled the extension with no explanation.