//! What the application is configured with.
//!
//! **The configuration is not the state.** It is read once, when the application starts, and it
//! does not change afterwards: what the state holds is the session and the chrome's own, and the
//! palette of the theme is none of those. A diagram does not carry a palette, and a palette does
//! not change because a figure was moved.
//!
//! The split is the framework's own: a global that holds the context and the configuration beside
//! a state that holds the session and the widgets. What sits on this side of it is the theme, and
//! the theme is a palette and the styles that go with it.
use BASE16;
use SalsaTheme;
use create_dark;
/// What the application is configured with.
pub