export type DocumentTickerType = 'info' | 'warning';
export interface DocumentTicker {
    type: DocumentTickerType;
    text: string;
}