define([
    'ace/theme'
], function(aceTheme) {
    var themes = codebox.require("core/themes");

    var bgDarker = "#1a1d24";
    var colorDarker = "#505c66";

    var bgDark = "#222830";
    var colorDark = "#64737e";

    var bgNormal = "#1c1f25";
    var colorNormal = "#dfe0e6";

    var bgLight = "#2b303b";
    var colorLight = "#dadfe6";

    themes.add({
        id: "dark",
        title: "Dark",

        editor: {
            'theme': aceTheme
        },
        styles: {
            // Top menubar
            menubar: {
                'background': bgDarker,
                'color': colorDarker,
                'border-color': "#111",

                button: {
                    'border-color': bgNormal
                }
            },

            // Lateral bar panels
            lateralbar: {
                'background': bgDark,

                commands: {
                    'background': bgDark,
                    'color': colorLight
                },
                body: {
                    'color': colorDark
                }
            },

            // Body
            body: {
                'background': bgDark
            },

            // Tabs
            tabs: {
                section: {
                    'border-color': bgDark
                },
                header: {
                    'background': bgDark,
                    'color': colorDark
                },
                content: {
                    'background': bgLight,
                },
                tab: {
                    '&.active': {
                        'background': bgLight,
                        'color': colorLight
                    }
                }
            },

            // Operations
            operations: {
                operation: {
                    'background': bgLight,
                    'color': "#fff",
                    'border-color': "transparent"
                }
            },

            // Alerts
            alerts: {
                alert: {
                    'background': bgLight,
                    'color': colorLight,
                    'border-color': "transparent"
                }
            }
        }
    });
});
@@ -600,26 +600,24 @@
 ': colorDark
-er
 ,%0A          

Improve menubar for dark theme