export const RERENDER_DELTA = 48; export const MAX_PIXEL_RATIO = 2; export const FAST_SCROLL_VELOCITY_THRESHOLD = 0.8; export const FAST_SCROLL_DWELL_THRESHOLD_MS = 120; export const SCROLL_VELOCITY_MIN_DELTA = 0.05; export const AUDIO_EXTENSIONS = new Set([ 'aac', 'aiff', 'flac', 'm4a', 'mp3', 'ogg', 'oga', 'opus', 'wav', 'weba', ]); export const VIDEO_EXTENSIONS = new Set([ 'avi', 'mkv', 'mov', 'mp4', 'm4v', 'webm', 'wmv', ]); export const DOCUMENT_VIEWER_PORTRAIT_HEIGHT_RATIO = 0.4; export const PORTRAIT_RATIO_STYLE_ID = 'document-viewer-portrait-ratio-style'; export const MIN_STACKED_BREAKPOINT = 480;