function r(path: string) {
	return require('./res/' + path);
}

export const arrow_down = r('arrow_down.png');
export const arrow_up = r('arrow_up.png');
export const loader = r('ajax-loader.gif');
export const looking_glass = r('looking_glass.png');
export const usb_icon_horz = r('usb_icon_horz.svg');
