// Shell layout metrics.

export global Layout {
    out property <length> sidebar-width: 280px;
    out property <length> header-height: 48px;
    out property <length> player-bar-height: 88px;
    out property <length> hairline: 1px;
}