export default class ThemeManager {
    static ConfigViewer(): void;
    static get currentTheme(): string | null;
    static setTheme(themeName: string): void;
    static setProperty(name: string, content: string): void;
    static getProperty(name: string): string;
}
export declare const getNavPos: (move: boolean, extraWidth: number) => number[];